On Tue, 2019-07-02 at 14:08 +0930, Tim via users wrote:
don't want to try in the middle of doing my mail, but it's
always
worked in the past. I could set up one profile to use my LAN DNS
server, another to use my router's.
Okay, I've just tested it, and it still works like I expect: I can add
extra DNS servers, I can override DHCP and only use manually enterred
DNS servers.