Merge pull request #5075 from akallabeth/clipboard_channel_cleanup
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Tue, 11 Dec 2018 09:12:24 +0000 (09:12 +0000)
committerGitHub <noreply@github.com>
Tue, 11 Dec 2018 09:12:24 +0000 (09:12 +0000)
Fixed clipboard channel cleanup.


Trivial merge