Bastien <b...@gnu.org> [2020-09-23, 14:25 +0200]:

> Ihor Radchenko <yanta...@gmail.com> writes:
>
>> The attached patch seems to fix the issue.
>
> Applied as 979e82fc3, thanks a lot!

Good news!  Thanks to everyone for their contributions!

-- 
Protesilaos Stavrou
protesilaos.com

Reply via email to