> On 25 Mar 2022, at 22:01, Daniel Gustafsson <[email protected]> wrote: >> On 25 Mar 2022, at 20:58, Robert Haas <[email protected]> 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/
