Per some off-list (...) discussion, it was noted that both pgsql-bugs
and pgsql-docs are listed as "user lists" in our systems, and not
"developer lists":
I'd say at least bugs should definitely be considered a developer
list, and given how it's used probably also docs?
If there are no objections, I'm going to go ahead and move those two
lists over to "developer lists".
--
Magnus Hagander
Me: https://www.hagander.net/
Work: https://www.redpill-linpro.com/