Gábor Boskovits <boskov...@gmail.com> skribis:

> Thanks, Ludo, this seems to be the correct fix. Thanks for the additional
> insight.
> Please push it.

Pushed as 751164bca1030dfd14f9fa7508c03eb4b41173e4, thanks!

Ludo’.



Reply via email to