Merge pull request #5641 from neheb/mail
authordibdot <redacted>
Tue, 20 Feb 2018 20:35:00 +0000 (21:35 +0100)
committerGitHub <redacted>
Tue, 20 Feb 2018 20:35:00 +0000 (21:35 +0100)
mailman: Use @GNU macro for download link


Trivial merge
git clone https://git.99rst.org/PROJECT