Re: wrong output column title in example

> On 21 Jun 2020, at 21:07, Erik Rijkers <er(at)xs4all(dot)nl> 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 Arrays", the column title in
>> the output is "array_positions" for both examples, but it should be
>> "array_position" for the second example.
>
> 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 incorrect indentation and lacks the "(1 row)" stanza which we
tend to include when showing psql output as <programlisting>. The attached
fixes these things too.

cheers ./daniel