On 2/3/24 06:16, Ivor Wanders wrote:
Yes, I already fixed this up.Appreciate the confirmation, thank you for fixing this.
No worries. Sorry, I should have added a note to the commit message, but it was late last night and I forgot. I'll do that now. Guenter