Subject: Re: bug#41634: 'timeout' returning 124 and 133
From: Bernhard Voelker <[email-masked]>
To: Pádraig Brady <[email-masked]>
Cc: [email-masked]
Date: Sun, 7 Jun 2020 15:45:27 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On 2020-06-07 15:34, Pádraig Brady wrote:
> [...] it is better to add the comma there [...]

thanks, pushed with that change:
https://git.savannah.gnu.org/cgit/coreutils.git/commit/?id=189776ff3b

Marking this as done.

Have a nice day,
Berny