On Sat, Sep 14, 2024 at 2:10 PM Ed Behn <ed@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