bug#22419: Sorry for the duplicated email

[Ludovic Courtès]

Note that it’s also possible to merge bugs:

  http://debbugs.gnu.org/Developer.html

(Particularly easy from the Emacs debbugs interface.)

Ludo’.