bug#41634: 'timeout' returning 124 and 133

[Jonny Grant]

On 28/07/2020 23:41, Bernhard Voelker wrote:
> On 2020-07-28 23:53, Pádraig Brady wrote:
>> +1 thanks
> 
> Thanks, pushed.
> 

Great!