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

These patches seem to have been made obsolete by commit
e027a494fd5e6025e645ce9f36cccca39a77d327 - closing.