Michael Paquier <[email protected]> writes:
> On Sat, Aug 04, 2018 at 11:21:28AM -0400, Tom Lane wrote:
>> IMO, it's OK to push this this weekend if you have time.

> OK, done now down to 9.3.

Thanks!

                        regards, tom lane

Reply via email to