Re: wrong output column title in example

2020-06-25 Thread Tom Lane
Daniel Gustafsson writes: > On 21 Jun 2020, at 21:07, Erik Rijkers wrote: >> Here is a doc fix/patch. > While clearly in nitpicking territory, this isn't entirelty right either as > the > number of dashes needs to be updated to reflect the attr name. Looking it, > the > output also has incorr

Re: wrong output column title in example

2020-06-25 Thread Daniel Gustafsson
> On 21 Jun 2020, at 21:07, Erik Rijkers wrote: > > On 2020-06-21 18:21, PG Doc comments form wrote: >> The following documentation comment has been logged on the website: >> Page: https://www.postgresql.org/docs/12/arrays.html >> Description: >> In the last code block in "8.15.5. Searching in Ar

Re: wrong output column title in example

2020-06-21 Thread Erik Rijkers
On 2020-06-21 18:21, PG Doc comments form wrote: The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/12/arrays.html Description: In the last code block in "8.15.5. Searching in Arrays", the column title in the output is "array_positions" f