Subject: Closing
From: Jakub Kądziołka <[email-masked]>
To: [email-masked]
Date: Sun, 23 Feb 2020 13:02:40 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This was merged literally years ago as commit
a15e4b160a94fceb1baa0027ef79cd816194b4f3. Closing...