Remove references to Majordomo

Magnus Hagander <magnus@hagander.net>

Commit: 0e10040e19db02a797a2597d2fecbaa094f04866
Author: Magnus Hagander <magnus@hagander.net>
Date: 2019-01-17T12:35:34Z
Releases: 12.0
Remove references to Majordomo

Lists are not handled by Majordomo anymore and haven't been for a while,
so remove the reference and instead direct people to the list server.

Files

PathChange+/−
doc/src/sgml/problems.sgml modified +4 −8

Documentation touched