Bastien <[email protected]> [2020-09-23, 14:25 +0200]: > Ihor Radchenko <[email protected]> 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
