On Thu, Jan 18, 2018 at 8:55 AM, Jeevan Chalke
<jeevan.chalke@enterprisedb.com> wrote:
> Attached patch with other review points fixed.
Committed 0001 and 0002 together, with some cosmetic changes,
including fixing pgindent damage. Please pgindent your patches before
submitting.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company