On Wed, May 16, 2018 at 11:30 PM, Etsuro Fujita <[email protected]> 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
