Merge pull request #12734 from nickberry17/master
authorRosen Penev <rosenp@gmail.com>
Mon, 6 Jul 2020 14:14:02 +0000 (07:14 -0700)
committerGitHub <noreply@github.com>
Mon, 6 Jul 2020 14:14:02 +0000 (07:14 -0700)
modemmanager: update ModemManager and dependencies


Trivial merge