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!
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!