On Fri, 24 Nov 2023, Tobias Burnus wrote:
> Stumbled over this.

Same here. :-)

> Comments?

Thank you for fixing this.

Gerald

Reply via email to