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

Reply via email to