I used to have opendns set up as my DNS.
network manager still has opendns IP addresses in the relevant entry of the gui. Also /etc/network/interfaces has the opendns IPs.
However, this has stopped working and I appear to be using my ISP DNS
How do I get back to my previous situation of using opendns?