Windows users may do the following:
Use the keyboard shortcut Windows-R to open the run box.
Type netcpl.cpl to open the Network and Sharing Center (note that this may not be available in the newest builds of Windows 10)
If it is not available, right-click on the network icon in the System Tray and select Open Network and Internet settings.
On the page that opens, click on "change adapter options".
Right-click on the active connection and select properties from the menu.
Double-click on "Internet Protocol Version 4 (TCP/IPv4)
Switch to "Use the following DNS server addresses".
Enter 126.96.36.199 under preferred DNS server.
Enter 188.8.131.52 under alternate DNs server.