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.

Reply via email to