> 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.
cheers ./daniel
