Davide De Rosa ebabf02eb5 Fix DNS in VPN when not default gateway ... Awful API requires .matchDomains = [""] Fixes #94		2019-04-28 10:39:55 +02:00
..
Sources	Fix DNS in VPN when not default gateway	2019-04-28 10:39:55 +02:00