On 2018-Nov-23, David Rowley wrote:
> A patch to fix is attached.
Oops! Thanks. Pushed. I added a test line to verify that the error is
thrown.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services