Subject: Re: bug#47597: [PATCH 0/3] Add SourceForge updater and lint warnings

From: Ludovic Courtès <[email-masked]>
Date: Wed, 07 Apr 2021 00:01:44 +0200

Pushed as 709f30b8e466b5f7155255be4f2cee008f8d01a9 with changes as
Mathieu suggested.  Thanks for your feedback!

Ludo’.