Am Sat, Mar 14, 2026 at 04:21:36PM +0100 schrieb Ludovic Courtès: > It would have been clearer to close it once it’s fixed IMO, but let’s be > optimistic I guess. :-)
Well, there is a trace on Codeberg, so this issue will not be forgotten in any case; and if we do not close it now I am afraid we will forget to do so (it even sometimes happens for pull requests closing an issue on Codeberg). Andreas
