On Mon, Jul 30, 2018 at 8:02 PM, Thomas Munro <thomas.mu...@enterprisedb.com> wrote: > On Tue, Jul 31, 2018 at 5:05 AM, Robert Haas <robertmh...@gmail.com> 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
