On Thu, Nov 23, 2017 at 5:41 AM, Rushabh Lathia <rushabh.lat...@gmail.com> wrote: >> Good point. Updated patch attached. > > Thanks Amit. > > Patch looks good to me.
Committed, except I left out the comment tweak, which seemed irrelevant. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
