Subject: Closing 44955 (duplicate of 44954)
From: Giacomo Leidi <[email-masked]>
To: [email-masked]
Date: Mon, 30 Nov 2020 22:51:04 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Dear all,

my apologies, this issue was opened by mistake, I'm closing it.

Giacomo