two dhcp-option (openvpn)

[Xen <list xenhideout nl>]

A user reported having two dhcp-option in his config, either pushed by 
the server or local, I don't know yet.

One of the dhcp-option was faulty, it was 10.8.0.1 but there was no 
response from that server apparently.

The order given was:

public internet DNS
private VPN DNS

In the log from NetworkManager only the second one shows up as being 
added to DNSmasq via dbus. As a consequence, since the local resolv.conf 
points to 127.0.1.1, his names do not resolve.

Using OpenVPN directly caused the connection to succeed as normal with 
two elements written to /etc/resolv.conf apparently. Using OpenVPN 
through NetworkManager caused the above described behaviour.

Is this correct behaviour, a bug, or a lacking feature? I'm trying to 
have him change his VPN config, but I cannot influence what 
NetworkManager is going to do, myself.

Version of NM is probably going to be around 1.2.0.

Regards.