On Wed, Apr 27, 2016 at 3:02 AM, Feike Steenbergen
<feikesteenbergen@gmail.com> wrote:
> This patch is redundant as of commit
> 2ac3be2e763d9b971352819f285dd51519e0aeb9
>
> (Ashutosh Sharma diagnosed and patched the same problem)
Oops. I completely failed to notice this prior report.
Sorry about that.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company