Re: Clarify errhint in sources.sgml

> On 12 Jul 2023, at 15:30, Jonathan S. Katz <jkatz(at)postgresql(dot)org> wrote:
>
> On 7/12/23 3:08 AM, Daniel Gustafsson wrote:
>> It was noted in 20230712015948(dot)byqaftt57glwknjz(at)awork3(dot)anarazel(dot)de that the
>> errhint example in sources.sgml isn't as helpful as it could be. errhint
>> should use a complete sentence, but the example doesn't, so I propose the
>> attached change which makes it so. The style for hints is clearly spelled out
>> further down on the page, but for anyone looking for a quick answer and not
>> reading the whole page the current example might be misleading.
>
> +1. No need to bikeshed this one.

Thanks for review, I'll go make that happen then in a bit unless anyone else
objects.

--
Daniel Gustafsson