improve mailman-check
authorRalf Jung <post@ralfj.de>
Tue, 13 Nov 2018 09:47:57 +0000 (10:47 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 13 Nov 2018 09:47:57 +0000 (10:47 +0100)

No differences found