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
------
REL9_6_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/14a0481194ee51623197b911b3719b0a0b949039

Modified Files
--------------
doc/src/sgml/problems.sgml | 12 ++++--------
1 file changed, 4 insertions(+), 8 deletions(-)

Reply via email to