From 6a5789140e74b41d4fcb5d830526f61668833920 Mon Sep 17 00:00:00 2001 From: Thomas Lauf Date: Fri, 26 May 2023 09:12:23 +0200 Subject: [PATCH] Update ChangeLog, AUTHORS Signed-off-by: Thomas Lauf --- AUTHORS | 1 + ChangeLog | 2 ++ 2 files changed, 3 insertions(+) diff --git a/AUTHORS b/AUTHORS index e88aba9d..23097fcf 100644 --- a/AUTHORS +++ b/AUTHORS @@ -41,6 +41,7 @@ The following submitted code, packages or analysis, and deserve special thanks: Scott Mcdermott Daniel Hornung Maxim Beder + Ankur Sinha Thanks to the following, who submitted detailed bug reports and excellent suggestions: diff --git a/ChangeLog b/ChangeLog index 15bf56d7..8a0949c9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -2,6 +2,8 @@ (thanks to Maxim Beder, Leon Grünewald) - #531 Update CONTRIBUTING.md to use branch 'develop' instead of 'dev' (thanks to Maxim Beder) +- #540 reports should end at current time if a task is still running + (thanks to Ankur Sinha) - Use local man pages in tests (thanks to Maxim Beder)