On Tue, Nov 27, 2018 at 2:53 PM Haribabu Kommi <kommi.harib...@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
