Hum.

I wanted to use `git send-email` and now of course it created 3 tickets.

So basically, I messed up. Sorry, is there a way I can close those 3
tickets myself?

Which brings me to a second question, can I use `git send-email` and send
it to 24555@debbugs.gnu.org instead or should I really copy-paste the
patches?

Thanks,
Philippe