On Mon, Jul 30, 2018 at 8:02 PM, Thomas Munro
<thomas.munro@enterprisedb.com> wrote:
> On Tue, Jul 31, 2018 at 5:05 AM, Robert Haas <robertmhaas@gmail.com> wrote:
>> New version attached.
>
> Looks good to me.
Committed to master and v11. Thanks for the review.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company