Subject: Close accidental patch tickets
From: Nguyễn Gia Phong <[email-masked]>
To: <[email-masked]>, <[email-masked]>
Date: Thu, 22 Jun 2023 19:05:58 +0900
List-Id: <debbugs-submit.debbugs.gnu.org>

I should have checked the manual again before running git send-email.