On Fri, Aug 29, 2025 at 9:10 AM Tomas Vondra <tomas@vondra.me> wrote:
> Peter, any thoughts on this. Do you think it's reasonable / feasible to
> push the fix?
I don't feel comfortable pushing that fix today.
Honestly, I'm still not sure what to do. My proposal was to just
remove the totally unused options support function, which is probably
fine. But since I don't really know why Alexander ever added the
"options" support function in the first place (I don't even see a
theoretical benefit), I'm not quite prepared to say that I know that
it's okay to remove it now.
--
Peter Geoghegan