Subject: Closing the issue
From: Jan <[email-masked]>
To: [email-masked]
Date: Mon, 9 Mar 2020 23:43:43 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

I'm closing the issue, because it has been solved already.

Jan Wielkiewicz