Thomas Munro <[email protected]> writes: > On Tue, Mar 22, 2022 at 4:13 PM Tom Lane <[email protected]> wrote: >> OK. You want me to push 75674c7e to HEAD?
> Thanks, yes, please do.
Done.
regards, tom lane
Thomas Munro <[email protected]> writes: > On Tue, Mar 22, 2022 at 4:13 PM Tom Lane <[email protected]> wrote: >> OK. You want me to push 75674c7e to HEAD?
> Thanks, yes, please do.
Done.
regards, tom lane