On Sat, Sep 14, 2024 at 2:10 PM Ed Behn <e...@behn.us> wrote: > Was there a resolution of this? I'm wondering if it is worth it for me to > submit a PR for the next commitfest.
Well, it seems like what you want is different than what I want, and what Tom wants is different from both of us. I'd like there to be a way forward here but at the moment I'm not quite sure what it is. -- Robert Haas EDB: http://www.enterprisedb.com
