> On 10 Oct 2026, at 03:19, Tom Lane <[email protected]> wrote: > Daniel Gustafsson <[email protected]> writes:
>> Agreed, it would be a nice to have, but not a showstopper. > > This was complained of again, and we found a reasonable compromise: Nice! Thanks for taking care of it. -- Daniel Gustafsson
