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