Re: Bug reporting guidelines order of instructions

2019-01-23 Thread Pavlo Golub
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.postg

Re: Bug reporting guidelines order of instructions

2019-01-19 Thread Jonathan S. Katz
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 su

Re: Bug reporting guidelines order of instructions

2019-01-18 Thread Joe Conway
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

Re: Bug reporting guidelines order of instructions

2019-01-17 Thread Alvaro Herrera
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 f

Bug reporting guidelines order of instructions

2019-01-17 Thread Magnus Hagander
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 the