Subject: Update
From: André A. Gomes <[email-masked]>
To: [email-masked]
Date: Thu, 02 Nov 2023 11:40:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

The change has been integrated in the mean time by another contributor.

-- 
André A. Gomes
"You cannot even find the ruins..."