On Thu, Nov 19, 2020 at 6:59 PM Silvan Nagl <[email protected]> wrote:
>
> That's some wonderful news, thx for the information!
> I have 2 admit this bug is amusing to read.

Looks like Thomas has already written a patch for it:
https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/merge_requests/687/diffs

Reply via email to