zimoun <zimon.touto...@gmail.com> writes:

> This bug  [1] is fixed by commit 5a14e81e413.
> If it really is, feel free to close.

Yes, it’s fixed.  Thank you for checking!  Closing.

-- 
Ricardo



Reply via email to