Remove references to Majordomo
authorMagnus Hagander <magnus@hagander.net>
Thu, 17 Jan 2019 12:47:24 +0000 (13:47 +0100)
committerMagnus Hagander <magnus@hagander.net>
Thu, 17 Jan 2019 12:47:24 +0000 (13:47 +0100)
commitd6e88993591c3b301c498380b7071cd649afc472
treed51338b27350718a3bfa01f13e67a41c003a5d66
parent409230a721cf32a2df4fd02338e785b3993f9c7a
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.
doc/src/sgml/problems.sgml