Merge pull request #12694 from BKPepe/mc-19.07
authorDirk Brenken <dev@brenken.org>
Thu, 2 Jul 2020 12:00:17 +0000 (14:00 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Jul 2020 12:00:17 +0000 (14:00 +0200)
[19.07] mc: fix mouse handling


Trivial merge