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.
Jonathan