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