Edit: seems to be back up

Edit2: some servers still seem to have DNS related problems, now on smartphone too. At least one application wasn’t able to connect to the internet, reporting inability to resolve domain names.

I’m experiencing problems on my Linux PC. Starting about 50 minutes ago, some websites cannot be reached, my package manager cannot connect to its mirrors and ping doesn’t resolve domain names into IP addresses. Some people of Reddit seem to be reporting similar issues.

How about people here?