Davide De Rosa 28fd80f4e0 Treat empty DNS servers as nil ... Empty local DNS array was pretty much hiding server-pushed DNS.		2019-04-17 00:50:53 +02:00
..
Sources	Treat empty DNS servers as nil	2019-04-17 00:50:53 +02:00