I tried again, and it works fine (I changed from 202.123.2.35 to 8.8.8.8). Indeed, it seems to boil down Orange Telecom flaky DNS service.
Sorry for wasting your time. //Logan C-x-C-c
I tried again, and it works fine (I changed from 202.123.2.35 to 8.8.8.8). Indeed, it seems to boil down Orange Telecom flaky DNS service.
Sorry for wasting your time. //Logan C-x-C-c