On Sun, Oct 29, 2017 at 3:42 AM, Michael Paquier
<michael(dot)paquier(at)gmail(dot)com> wrote:
> Okay. Here is an updated patch incorporating those comments.
Committed with a little wordsmithing on the documentation.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company