don't re-patch (manually) patched mailman
authorRalf Jung <post@ralfj.de>
Mon, 27 Apr 2020 11:53:07 +0000 (13:53 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 27 Apr 2020 11:53:07 +0000 (13:53 +0200)

No differences found