On Mon, Oct 16, 2023 at 11:06 AM Robert Haas <robertmh...@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
