On Mon, Jun 5, 2017 at 10:20 AM, Joe Conway <mail@joeconway.com> wrote:
> Unless Robert objects, I'll work with Mike to get a fix posted and
> committed in the next day or two.
That would be great. Thanks.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company