Subject: control message for bug #54425

From: Nicolas Graves <[email-masked]>
Date: Mon, 07 Oct 2024 10:36:15 +0200

close 54425 
quit

Closing this old issue that has been partially fixed, will be tedious to
rebase, and could probably be done automatically anyway.

-- 
Best regards,
Nicolas Graves