majordomo@postgresql.org: unknown address

On Thu, Jan 17, 2019 at 11:15 AM PG Doc comments form <
noreply@postgresql.org> wrote:

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/10/bug-reporting.html
Description:

Hi,

https://www.postgresql.org/docs/10/bug-reporting.html says "For more
information send mail to <majordomo@postgresql.org> with the single word
help in the body of the message.". However sending email to this address
fails:

<majordomo@postgresql.org>: host magus.postgresql.org[87.238.57.229] said:
550
unknown address (in reply to RCPT TO command)

Hi!

That is indeed incorrect. Please go to https://lists.postgresql.org/ for
instructions on how to subscribe to it.

I will make sure the instructions are updated in the documentation.

Thanks for the report!

//Magnus