On 2022-Jul-19, Richard Guo wrote:
> On Tue, Jul 19, 2022 at 1:30 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> > WFM. (I'd fixed the comment typo in my patch, but I don't mind if
> > you get there first.)
Ah, I see now you had other grammatical fixes and even more content
there.
> +1 The fix looks good to me.
Thanks, pushed.
--
Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/