On Tue, Nov 27, 2018 at 2:53 PM Haribabu Kommi <[email protected]> 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
