[Mailman-Developers] Merging users

[Aurelien Bompard]

> Abhilash's fix is good but I need to actually merge users, so here's
> how I would do it.
> https://gitlab.com/mailman/mailman/merge_requests/32
> The change sits on top of Abhilash's, so there's no conflict.
>
> I don't think I'm missing anything as far as users are concerned, but
> please have a look :-)

Hey guys, do you have any feedback on this? On the principle and/or
the implementation?

Thanks!
Aurélien