On Tue, Nov 27, 2018 at 2:53 PM Haribabu Kommi <kommi.haribabu@gmail.com> wrote:
> Thanks for the updated patch. It looks good.
> I marked it in the commitfest as ready for committer.
Pushed. Thanks for the reviews!
--
Thomas Munro
http://www.enterprisedb.com