On Sun, Aug 2, 2015 at 5:11 AM, Peter Geoghegan <pg@heroku.com> wrote:
> Attached patch fixes this issue. This was missed by
> 78efd5c1edb59017f06ef96773e64e6539bfbc86
Committed and back-patched to 9.5.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company