Thomas Lange Fri, 20 Oct 2023 13:39:29 -0700
Can anyone decide what to do with this bug? Wontfix, closing or is the patch working?
-- regards Thomas
