Subject: Closing issue
From: Fredrik Salomonsson <[email-masked]>
To: [email-masked]
Date: Tue, 26 Apr 2022 18:34:39 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

I see this got merged in commit:
cd5c31d192453c071d5384ea1eabbf02c9708758

Closing this issue.

And thanks!

-- 
s/Fred[re]+i[ck]+/Fredrik/g