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