From: Hartmut Goebel <[email-masked]>
To: [email-masked]
Date: Wed, 7 Jul 2021 12:35:27 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the review.

This was already merged quite some weeks ago in 
d8fed768a899bd0a3a84a88572135a1d7bde2400, but I forgot closing the issue.