August 18, 2020

Issue resolving locale hostnames

Since some days one of my laptop has the problem to resolve certain hostnames.