Subject: Re: [bug#48292] updating code
From: Guillaume Le Vaillant <[email-masked]>
To: cage <[email-masked]>
Cc: [email-masked]
Date: Wed, 01 Dec 2021 12:29:50 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as 8e7e839c98102a79b5804b39e3cfb58e94687d97 with a modified
commit message.
Thanks.

We'll switch back to using a tag if upstream decides to make one some
day.