> On 25 Mar 2022, at 22:01, Daniel Gustafsson <daniel@yesql.se> wrote:
>> On 25 Mar 2022, at 20:58, Robert Haas <robertmhaas@gmail.com> wrote:
>> However, if we're not ready/willing to make a bigger change, then doing as you
>> have proposed here seems fine to me.
>
> Thanks for review! Trying out again just now the patch still applies (with
> some offsets) and builds.
Barring objections I will go ahead and push this for 15. It's the minimal
change but it might still help someone new to PostgreSQL who gets confused on
the choice of naming/wording.
--
Daniel Gustafsson https://vmware.com/
