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