matthias . geiger1024 Sat, 07 Jan 2023 06:39:14 -0800
Hi, I just did a quick rebuild of 0.13.5. To me it looks like the bug is fixed as I can't reproduce it.
Cheers Matthias