Merge pull request #10487 from aleksander0m/aleksander/mm-fixes
authorFlorian Eckert <fe@dev.tdt.de>
Fri, 8 Nov 2019 08:35:13 +0000 (09:35 +0100)
committerGitHub <noreply@github.com>
Fri, 8 Nov 2019 08:35:13 +0000 (09:35 +0100)
ModemManager fixes and update to 1.12.0


Trivial merge