Hi!

A strange thing just happened to me: ever since I went to Belgium last
week (don't know if it's relevant) I keep getting domain name resolution
errors.

For instance right now duckduckgo.com fails but guix.gnu.org works.

I'm back home now and the issue persists.

Any clue how to investigate?

Cheers!

-- 
Pierre Neidhardt
https://ambrevar.xyz/