> On 5 Sep 2023, at 16:37, Daniel Gustafsson <dan...@yesql.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