Re: address extension fails for mailman

[Thor Atle Rustad]

It has now been confirmed by the mailman3 team that the map generation for
the regexp files in mailman is incomplete. They are working on a solution.
For those interested, see my post here:
https://gitlab.com/mailman/mailman/issues/401.