On 27/08/2020 13:49, Michael Wild via Cygwin wrote: > On Thu, Aug 27, 2020 at 2:48 PM Michael Wild wrote: > >> >> >> [...] I attached this fix as a patch. [...] Thanks. Applied.