On Mon, Nov 11, 2019 at 6:43 AM Michael Paquier <michael@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