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.
Branch
------
REL_11_STABLE
Details
-------
https://git.postgresql.org/pg/commitdiff/bbccf9a83c22b38f5d8ae061560639e2c06bcded
Modified Files
--------------
doc/src/sgml/problems.sgml | 12 ++++--------
1 file changed, 4 insertions(+), 8 deletions(-)