> On 25 Mar 2022, at 22:01, Daniel Gustafsson <dan...@yesql.se> wrote:
>> On 25 Mar 2022, at 20:58, Robert Haas <robertmh...@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/



Reply via email to