Re: Bug reporting guidelines order of instructions

Hello Jonathan,

Saturday, January 19, 2019, 7:02:17 PM, you wrote:

> On 1/18/19 4:06 PM, Joe Conway wrote:
>> On 1/17/19 9:29 AM, Alvaro Herrera wrote:
>>> On 2019-Jan-17, Magnus Hagander wrote:
>>>
>>>> Per the docs comment today, I will remove the notes about majordomo at
>>>> https://www.postgresql.org/docs/current/bug-reporting.html.
>>>>
>>>> However, this one also suggests email to the pgsql-bugs report as the
>>>> primary choice "and you can also use the bugs form. Do we perhaps want to
>>>> change the order of these and suggest the web form as the primary method,
>>>> since that hands out bug ids?
>>>
>>> +1.
>> 
>> +(many)

> +1, esp. based on the progress of this thread[1]

Yeap, good point! +1 from me

> Jonathan

> [1]
> https://www.postgresql.org/message-id/flat/20190114221809.eymqah36d6uq5nir%40alap3.anarazel.de




-- 
Best regards,
Pavlo Golub