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

Send email to <control@debbugs.gnu.org> with contents

merge xxxxx yyyyy zzzzz
quit

Where x, y, and z are the 3 bug numbers.

Will do, thanks!
 
 
> 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?

Both should work, the problem with using "git send-email" is that the
mails sometimes arrive out of order. I usually use "git format-patch"
and send as attachments.

Okay, I'll attach them from now on.

Thanks,
Philippe