Merge pull request #9137 from nickberry17/master
authorMichael Heimpold <mhei@heimpold.de>
Mon, 7 Oct 2019 10:50:13 +0000 (12:50 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Oct 2019 10:50:13 +0000 (12:50 +0200)
modemmanager: add ModemManager to packages

This also includes related libraries libmbim and libqmi and the command line tools.


Trivial merge