> On 7 Apr 2023, at 17:47, Tom Lane <[email protected]> wrote: > > Daniel Gustafsson <[email protected]> writes: >> Ah, ok, now I see what you mean, thanks! I'll try to fix up the patch like >> this tomorrow. > > Since we're running out of time, I took the liberty of fixing and > pushing this.
Great, thanks! -- Daniel Gustafsson
