On Sun, Feb 19, 2017 at 4:02 PM, Robert Haas <robertmhaas@gmail.com> wrote:
> Committed, although I neglected to incorporate this change. Not sure
> if I should go back and do that; it doesn't read too badly as-is.
>
Thanks Robert for committing, and thanks Rahila, Amit, and Tushar for
reviewing and testing the patch.
--
Regards,
Rafia Sabih
EnterpriseDB: http://www.enterprisedb.com/