On Mon, Jan 8, 2018 at 11:27 PM, Michael Paquier <michael.paqu...@gmail.com> wrote: > On Thu, Dec 28, 2017 at 10:46:18PM +0000, Bossart, Nathan wrote: >> I agree, this makes more sense. I've made this change in v3 of 0003. > > Based on the opinions gathered on this thread, 0001 and 0002 seem to be > in the shape wanted, and those look good for shipping.
Committed 0001. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
