New answers tagged dns
The problem disappeared when a newer CyanogenMod build was flashed. (The problem was present on a stable SlimKat ROM as well.)
I encountered the same problem today, and thanks to Transfusion. I tried to develop an app "DNS forwarder" to work it out. It does not change dns server on system, but forward dns queries to another server. This workaround works fine for me on Kitkat (Nexus 5/4.4.3 and Moto Razr/CM11). Hope it can help other as well.
Top 50 recent answers are included