On Mon, Apr 27, 2020 at 9:27 PM Dave Page <dpage@pgadmin.org> wrote:
Thanks - I assume not for 4.21 though?
I thought it is intended for 4.21, so committed the patch.
I thought you were cutting it earlier today! I would suggest backing that one (and the others I'm sending) out until 4.21 is cut. They may easily break things in the builds if we're not careful.