On Mon, Oct 16, 2023 at 11:06 AM Robert Haas <robertmhaas@gmail.com> wrote:
> I propose to commit these changes only to master. I have included a
> fairly long paragraph about that in the commit message for 0002.
LGTM, except for one small detail: I noticed that you misspelled
"translations" in the commit message.
Thanks for getting this over the line
--
Peter Geoghegan