Another possible workaround I have used is to comment out the line "dns=dnsmasq" in /etc/NetworkManager/NetworkManager.conf
Another possible workaround I have used is to comment out the line "dns=dnsmasq" in /etc/NetworkMan ager/NetworkMan ager.conf