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]
Jonathan
[1]
https://www.postgresql.org/message-id/flat/20190114221809.eymqah36d6uq5nir%40alap3.anarazel.de