On Tue, May 16, 2017 at 11:58 PM, Michael Paquier
<michael.paquier@gmail.com> wrote:
> Thanks for the updated patch. This looks good to me.
Committed. I also added a slight tweak to the wording of the documentation.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company