Hello,

On Mon, Mar 03, 2025 at 11:09:11PM +0100, Alexander Bluhm wrote:
> 
> I have attached a fixed diff to avoid confusion what I mean.
> 
> > OK to commit diff below?
> 
> I did run my smaller diff successfully through regress.
> 
> OK bluhm@

    I see now what you meant. I will commit your diff. 

thanks and
regard
sashan