Pinoccio/library-pinoccio — pull request #219 by matthijskooijman (2014-12-16 08:13:48+00:00)
Title: Fix setting DNS server using `wifi.static`

Before, the gateway address passed to `wifi.static` was used as both the
gateway and dns server address. The dns server address given was
ignored. This broke setups where the gateway is not also a DNS server.