Merge pull request #5158 from akallabeth/wayland_mouse
authorDavid Fort <rdp.effort@gmail.com>
Tue, 18 Dec 2018 14:38:41 +0000 (15:38 +0100)
committerGitHub <noreply@github.com>
Tue, 18 Dec 2018 14:38:41 +0000 (15:38 +0100)
Improved wayland mouse support


Trivial merge