On 14.07.22 23:09, Jacob Champion wrote:
On Thu, Jul 14, 2022 at 1:12 PM Peter Eisentraut <peter.eisentr...@enterprisedb.com> wrote:Concretely, I was thinking like the attached top-up patch.The other way can surely be made to work somehow, but this seems much simpler and with fewer questions about the details.Ah, seeing it side-by-side helps. That's much easier, I agree.
Committed like that.
