> On 5 Sep 2023, at 16:37, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
> I've gone over this version of the patch and I think it's ready to go in. I'm
> marking this Ready for Committer and will go ahead with it shortly barring any
> objections.
Pushed, after another round of review with some minor fixes.
--
Daniel Gustafsson