mirror of
https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git
synced 2026-04-30 23:48:05 +02:00
DNS properties should not be copied to parent device's configuration
otherwise they will be applied twice, possibly with two different DNS
priorities.
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| nm-vpn-connection.c | ||
| nm-vpn-connection.h | ||
| nm-vpn-manager.c | ||
| nm-vpn-manager.h | ||