On 2020-May-29, Andrew Dunstan wrote: > I've come up with a slightly nicer version of your patch 1, which I > propose to commit and backpatch before long.
Looks good to me. -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services