This affected me yesterday (2020-01-14), and today was able to work around it with R4kk00n's comment instructions.
I'm using an up-to-date Ubuntu 18.04, so this bug is clearly still there. Some data from my setup:
Kernel: 4.15.0-74-generic x86_64 bits: 64 gcc: 7.4.0 Distro: Ubuntu 18.04.3 LTS
$ apt show network-manager-pptp Package: network-manager-pptp Version: 1.2.6-1 (...)
$ apt show network-manager Package: network-manager Version: 1.10.14-0ubuntu2 (...)
This affected me yesterday (2020-01-14), and today was able to work around it with R4kk00n's comment instructions.
I'm using an up-to-date Ubuntu 18.04, so this bug is clearly still there. Some data from my setup:
Kernel: 4.15.0-74-generic x86_64
bits: 64
gcc: 7.4.0
Distro: Ubuntu 18.04.3 LTS
$ apt show network- manager- pptp manager- pptp
Package: network-
Version: 1.2.6-1
(...)
$ apt show network-manager
Package: network-manager
Version: 1.10.14-0ubuntu2
(...)