On Mon, Nov 11, 2019 at 6:43 AM Michael Paquier <mich...@paquier.xyz> wrote: > > On Sun, Nov 10, 2019 at 08:48:27AM +0530, Amit Kapila wrote: > > I am planning to go with Peter's suggestion and will push in > > HEAD-only. So, I think that should be fine. > > I was just looking at this thread, and my take would be to just apply > that on HEAD. Good catch by the way. >
Okay, thanks for looking into it. Pushed. -- With Regards, Amit Kapila. EnterpriseDB: http://www.enterprisedb.com