Lars-Dominik Braun Thu, 11 May 2023 00:46:20 -0700
Hi, I discovered this issue independently and fixed it in commit 3d05d549184d5399d2949535cf5cad8b92b263dd.
Cheers, Lars