On 2019-12-16 14:37, Peter Eisentraut wrote:> New patch attached.
I have committed this and backpatched it to PG10.
-- Peter Eisentraut http://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services