Hi,

anonym (2022-07-25):
> The attached patch fixes this, and is in fact already merged
> upstream, but not released yet.

Update: the fix was released in 0.10.0 upstream (and 0.10.1 was
released since).

Cheers!

Reply via email to