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
