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


Reply via email to