Subject: Re: control message for bug #74034

From: Ludovic Courtès <[email-masked]>
Date: Sat, 08 Mar 2025 17:45:54 +0100

Hi Nicolas,

Nicolas Graves <[email-masked]> skribis:

> close 74034 

Any particular reason for closing it?  It looks like a series of
worthwhile improvements to me.

Ludo’.