On Mon, Jul 30, 2018 at 8:02 PM, Thomas Munro <[email protected]> wrote: > On Tue, Jul 31, 2018 at 5:05 AM, Robert Haas <[email protected]> wrote: >> New version attached. > > Looks good to me.
Committed to master and v11. Thanks for the review. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
