On Sat, Feb 07, 2026 at 11:03:36PM +0100, Peter Eisentraut wrote:> On 07.02.26 10:24, zengman wrote:>> You're right. I was careless earlier, my apologies.> > Ok, I have fixed this.
Thanks for the fix. (I was away from my laptop.)--Michael