Bug#921644: network-manager-openvpn doesn't understand dhcp-option OPTIONS

[Jim Popovitch]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Package: network-manager-openvpn
Version: 1.2.8-2

When an OpenVPN server uses the following legitimate push setting:

  push "dhcp-option OPTIONS ndot:2"

NetworkManager-OpenVPN chokes with the following msgs:

  Feb  6 11:24:53 work nm-openvpn[1555]: Options error: Unrecognized
option or missing or extra parameter(s) in [PUSH-OPTIONS]:4: dhcp-option 
(2.4.0)
  Feb  6 11:24:53 work nm-openvpn[1555]: Options error: Unrecognized
option or missing or extra parameter(s) in [PUSH-OPTIONS]:5: dhcp-option 
(2.4.0)

Debian/Stretch
Linux host 4.9.0-8-amd64 #1 SMP Debian 4.9.130-2 (2018-10-27) x86_64
GNU/Linux
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEECPbAhaBWEfiXj/kxdRlcPb헹ᐔॱ煉ࠀ⠤䇔数
fkU4Ag//b2cU3NK9FPyDugkm2577ddT7K8dhnLums94x뺹菧茛䬡䮽龘膝
mgxMvRzRJWvAKt7oTt5nk1PaCdaE5G6FMUpzBZ9jNtj5oyn5pPuLezwRbTIdtrFR
UFT7VTkz5Tz/wYnYL4Zx6Soꫡ獵ﮫ➳纈✚㖛굝㳖➢댑畮᭲㓦鎸
rN4Zr1ozFnIFfEqx9zoXKAn/2jN6W4iln57Ra4fSPcJ1Ljbz2WhHLYmOSrimUYcz
QZDZ7F1owFewJzXjgNpOVK98DIu1xZVkGCw/XbsIc2hSqyM1GP蕝ꂼ户瓱
Wg4dJS6bzcuNhNH9vXtTdpzcMH3LO5oLlr/5dONqTy7aXaK⓹쟥➖ⶋ匃扮
C7lZkYF8aN99lqW5by6Wy5qNh420윟꩚윮趖ǩ铲蝤貲⊎낝
SStx7i䎀⾉꥜뎠䞙㊺�엶鉯ꟻ┌읢ᰛᨓ䁁‭謞蕀銯
FGqOEWSCBelmrS8MDKJNM7jIXHWF0bqkdK2ZKBPR5mOKRnRjjcy95t4zVIxSlDzo
9mqJXს얔构럂Ū錻嚁՟…饴�龝㵁叕깾䉓錧琢癰䛖
g3mAoqAYPZDTCCB1shZBdPNUaoDWigfhzNRIalCFSw0LZN8TV4M=
=eHzm
-----END PGP SIGNATURE-----