Merge pull request #12695 from BKPepe/mc-mouse-handling
authorDirk Brenken <redacted>
Thu, 2 Jul 2020 11:59:25 +0000 (13:59 +0200)
committerGitHub <redacted>
Thu, 2 Jul 2020 11:59:25 +0000 (13:59 +0200)
mc: fix mouse handling


Trivial merge
git clone https://git.99rst.org/PROJECT