On Wed, May 16, 2018 at 11:30 PM, Etsuro Fujita
<fujita(dot)etsuro(at)lab(dot)ntt(dot)co(dot)jp> wrote:
>>> Attached is a patch for fixing this issue.
>> This no longer applies.
> The patch has already been committed by you [1]. Thanks for committing!
Well, that's embarrassing.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company