Hi Helmut, On 5/3/20 7:33 AM, Helmut Grohne wrote: > In the mean time, please consider applying the attached patch and close > this bug even the situation around help2man remains unaddressed.
Thanks for reporting, I'll fix both during the next couple of days. Regards, Daniel