On Fri, Jun 27, 2025 at 12:00:44PM +0200, Alexander Bluhm wrote:
> On Fri, Jun 27, 2025 at 08:24:34AM +0200, Alexandr Nedvedicky wrote:
> > Hello Kristof,,
> > 
> > 
> > yes indeed. I'll commit your diff later today unless someone will object.
> 
> OK bluhm@
> 
> > thanks for reporting it.
> > 

committed, thanks.