When the DHCP server address is not on the same subnet, we used to add a /32 route to the server IP address via the gateway.
Do not add this route, if we already got a direct route from DHCP.
https://bugzilla.gnome.org/show_bug.cgi?id=738590
3d7acbc dhcp: don't add special route to DHCP server when having direct route
src/dhcp-manager/nm-dhcp-utils.c | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
Upstream: cgit.freedesktop.org