On Fri, May 20, 2022 at 5:31 AM Julien Rouhaud <rjuju123@gmail.com> wrote:
> On Thu, May 19, 2022 at 06:38:46PM -0400, Tom Lane wrote:
> > Julien Rouhaud <rjuju123@gmail.com> writes:
> > Pushed, with some minor twiddling to make ... descriptions more alike.
> Thanks a lot!
And thank you both! --DD