On Sun, 03 Mar 2019 14:23:40 +0100 gpe <[email protected]> wrote: > it seems that the issue is resolved with their last curl version 7.64.0-9, no?
Looks like it. They probably patched curl with [1] following the resolution if this curl bug [2]. I don't know archlinux enough to track down the patch applied to curl version 7.64.0-9 Note: I've linked this Debian bug to upstream network-manager bug [3] HTH [1] https://github.com/curl/curl/commit/b7753be57d7bdb6b909f1a0a4207950e18100d79 [2] https://github.com/curl/curl/issues/3585 [3] https://gitlab.freedesktop.org/NetworkManager/NetworkManager/issues/123
