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