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 control@debbugs.gnu.org.

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