On Thu, Jul 11, 2019 at 09:55:01AM +0900, Michael Paquier wrote:
>On Wed, Jul 10, 2019 at 11:26:09PM +0200, Tomas Vondra wrote:
>> Yeah, that's a bug. Will fix (not sure how yet).
>
>Please note that I have added an open item for it.
Thanks.
--
Tomas Vondra http://www.2ndQuadrant.com
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services