Subject: Re: bug#47751: [PATCH] gnu: Add seatd.
From: Tobias Geerinckx-Rice <[email-masked]>
To: Maxime Devos <[email-masked]>
Cc: "[email-masked]" <[email-masked]>, [email-masked]
Date: Tue, 13 Apr 2021 20:15:08 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

It's better to merge identical bugs than to keep duplicates in 
potentially different states (‘is The Seatd Bug open or closed?’ 
‘both’).

I merged them by sending

  merge 47750 47751

to [email-masked].

Both numbers effectively refer to the same bug after that, so 
closing 47751 did not have the effect you expected.  I've reopened 
it.

Kind regards,

T G-R