Thanks Christophe for your work on this, and thanks Raphael for applying it. There is indeed not a high urgency, it can wait for the final deployment.
+Emilien -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/canqxmqe390s0dmyecjk5xmss7e6firjajguqe0bg5itpzv4...@mail.gmail.com
