Hi Daniel, I agree with Tom's reasoning. If this has gone unnoticed for so long, removing the script makes more sense than fixing it. I'm happy with removal instead of my original fix. Thanks for preparing the patch.
Regards, zmuxuny On Sat, 24 Oct 2026 22:52:57 +0200, Daniel Gustafsson <[email protected]> wrote: > > On 23 Oct 2026, at 05:27, Daniel Gustafsson <[email protected]> wrote: > > > >> On 22 Oct 2026, at 22:33, Tom Lane <[email protected]> wrote: > > > >> So I'm rather inclined to just delete it instead of expending effort on > >> fixing > >> it. > > > > +1 > > PFA patch removing it. > > -- > Daniel Gustafsson
