On Tue, Feb 24, 2026 at 8:17 AM Nathan Bossart <[email protected]> wrote: > Granted, this probably doesn't help the present issue...
Yeah, we'd need to go all the way to PG11 to avoid it entirely. But that's okay -- finding and fixing this now means that we don't have to relitigate it when bumping the default version later (or when releasing production-grade grease). If PG10 ages out before we finally decide to do either one, fine. --Jacob
