Hi Bastien, On Mon, 03 May 2021 at 19:26, Bastien <b...@gnu.org> wrote:
well, clearly my mind is dull right now - I pushed another better fix, but please report any better solution if you have one.
Thank you.No, not really, I just happened to spot an offending case of the previous commit. Unfortunately, I don't have a silver bullet here.
Gustavo.