On Tue, Nov 3, 2020 at 3:51 PM Jonathan S. Katz <jkatz@postgresql.org> wrote:
>
> On 11/3/20 9:00 AM, Alvaro Herrera wrote:
> > On 2020-Nov-03, Daniel Gustafsson wrote:
> >
> >>> On 3 Nov 2020, at 10:55, Magnus Hagander <magnus@hagander.net> wrote:
> >>
> >>> I'd say at least bugs should definitely be considered a developer
> >>> list, and given how it's used probably also docs?
> >>
> >> +1 for moving both -bugs and -docs to be classified as developer lists.
> >
> > Another +1 to both
>
> +1.
I guess +3 should be enough :) I've implemented this change -- it will
take some time before it propagates to all the different systems and
show up.
--
Magnus Hagander
Me: https://www.hagander.net/
Work: https://www.redpill-linpro.com/