On 12/19/24 9:57 PM, Peter Eisentraut wrote:
> Here is an updated patch set on top of what has been committed so far,
> with all the issues you pointed out addressed.
Other than the discussion of how old versions of flex we should support
I think this set of patches is ready to be committed. I looked at it
again and everything looks good.
Andreas