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