Re: Sean Whitton > - Bastian's recent post to Bug#1007717: > <20231103112032.ny3d4ieeo7wrb5ub@shell.thinkmo.de>> Is that the correct bug? There have been no recent mails, and the message-id is unknown to lists.d.o. Christoph