Subject: bug#48701: Closed by 48943

From: Bone Baboon <[email-masked]>
Date: Mon, 12 Jul 2021 20:17:33 -0400

Philip Munksgaard writes:

> This issue has been fixed by #48943 and should be closed.

You can close a bug report by emailing [email-masked] where
NNN is the bug number.

For the body of the email you can say something like "Closing because
<reason>".