On Sun, Jul 16, 2023 at 12:05:34PM +0200, Gregor Riepl wrote: > Do we need to backport it against 4.13 in some way, or was this just a > goof-up when you reported the bug?
I'm sorry Gregor, this is what happened, I mis-reported against 4.13. I hope it wasn't too much of a time waste. Fixing 5.0.0 should be sufficient. Thank you. -Dan
