Federico Ceratto Thu, 08 Feb 2024 10:06:11 -0800
Hi Andreas, Sure, go ahead, and thank you for taking care of the bug!
-- Federico