On Mon, 17 Jun 2019 12:36:38 +0200
Ludovic Courtès <ludo@gnu.org> wrote:


> Yes, it looks similar to what 9c941364bfc0120e3ab5c5c4cc71a9a302d59a2b
> fixed.
> 
> Fixed in ed504cafa23c34bfa1823a4d5abf3ad55205484b.
> 
> Thanks!
> 
> Ludo’.

Thank you for the quick fix. I can confirm it works now.

Björn