Subject: Done: #41990
From: Jakub Kądziołka <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Fri, 3 Jul 2020 01:10:38 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing as the patch got applied in commit
d6817e0086d0cdf0f19e1c9f228e07cc01096775.