On Thu, 10 Oct 2024 09:25:58 +0100 19 Devices <19devices@xxxxxxxxx> wrote: > ps. Belated thanks too for your solution to my previous problem here on > 2021/08/02. That fix showed no sign it had succeeded until reboot but after > that all was fine. Cool. I'm glad to hear that. Mariusz
