PL/R points to wrong place

2019-04-15 Thread PG Doc comments form
The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/11/external-pl.html Description: Project lives https://github.com/postgres-plr/plr Thanks,

Re: PL/R points to wrong place

2019-04-15 Thread Tom Lane
PG Doc comments form writes: > The following documentation comment has been logged on the website: > Page: https://www.postgresql.org/docs/11/external-pl.html > Description: > Project lives > https://github.com/postgres-plr/plr Hey Joe, is this a correct update? That link currently points at ht

Re: PL/R points to wrong place

2019-04-15 Thread Joe Conway
On 4/15/19 12:41 PM, Tom Lane wrote: > PG Doc comments form writes: >> The following documentation comment has been logged on the website: >> Page: https://www.postgresql.org/docs/11/external-pl.html >> Description: > >> Project lives >> https://github.com/postgres-plr/plr > > Hey Joe, is this a

Re: PL/R points to wrong place

2019-04-27 Thread Joe Conway
On 4/15/19 2:27 PM, Joe Conway wrote: > On 4/15/19 12:41 PM, Tom Lane wrote: >> PG Doc comments form writes: >>> The following documentation comment has been logged on the website: >>> Page: https://www.postgresql.org/docs/11/external-pl.html >>> Description: >> >>> Project lives >>> https://gith