Subject: [bug#51418] Duplicate - please merge with 51419

From: paul <[email-masked]>
Date: Tue, 26 Oct 2021 22:58:03 +0200

Dear Tobias,

thank you, for merging.

On 10/26/21 9:59 PM, Tobias Geerinckx-Rice wrote:
> You can find the special recipient address and more information at 
> https://debbugs.gnu.org/server-control.html

This is very useful, thanks!

giacomo