Subject: Closed by 48943
From: "Philip Munksgaard" <[email-masked]>
To: [email-masked]
Date: Thu, 01 Jul 2021 17:10:40 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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