Windows 8.1 DNS problems with Linux servers solved
This article shows a quick solution for DNS problems when using Windows 8.1 clients.
After upgrading to Windows 8.1 I had the problem that after a hibernate or restart my laptop had problems resolving the Linux servers in the DNS. There was however no problem resolving Microsoft servers. Just the non-Microsoft servers were not resolved.