Re: Sean Whitton
> - Bastian's recent post to Bug#1007717:
>   <20231103112032.ny3d4ieeo7wrb...@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

Reply via email to