On Mon, 17 Aug 2026, Jonathan Wakely via Gcc wrote: > I forgot to say that the problems I was having were on my mobile phone, > because I was in holiday until yesterday. I don't have a fixed IP on my > phone (especially not when using data roaming abroad). I couldn't ssh to > the server, because I was just trying to browse web pages on my phone (and > didn't have any ssh keys with me on holiday). > > Now that I'm back home it works fine from my usual static IP.
Maybe it's a hint not to do work while on holiday. ;) Maciej
