From 213798a29aef7ab8bc75234b65e51ec05eb1ca57 Mon Sep 17 00:00:00 2001 From: Thomas Lauf Date: Thu, 8 Jun 2023 17:33:02 +0200 Subject: [PATCH] Update AUTHORS, ChangLog Signed-off-by: Thomas Lauf --- AUTHORS | 1 + ChangeLog | 2 ++ 2 files changed, 3 insertions(+) diff --git a/AUTHORS b/AUTHORS index 521acca3..df03062a 100644 --- a/AUTHORS +++ b/AUTHORS @@ -43,6 +43,7 @@ The following submitted code, packages or analysis, and deserve special thanks: Maxim Beder Ankur Sinha Povl Filip Sonne-Frederiksen + Benedikt Fein Thanks to the following, who submitted detailed bug reports and excellent suggestions: diff --git a/ChangeLog b/ChangeLog index b4c79803..8afc8993 100644 --- a/ChangeLog +++ b/ChangeLog @@ -4,6 +4,8 @@ (thanks to Maxim Beder) - #535 Adding completion for fish shell (thanks to Povl Filip Sonne-Frederiksen) +- #538 Fix man page build for out-of-source builds + (thanks to Benedikt Fein) - #540 reports should end at current time if a task is still running (thanks to Ankur Sinha) - Use local man pages in tests