bug#48412: duplicate ?

[Adriano Peluso]

I just noticed someone sent a patch that seems relevant here

It's in #43102

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=43102