This is the known bug #1003842. Workaround: comment out "dns=dnsmasq" in /etc/NetworkManager/NetworkManager.conf
This is the known bug #1003842. Workaround: comment out "dns=dnsmasq" in /etc/NetworkMan ager/NetworkMan ager.conf