Merge pull request #4032 from blino/clipboard-build
authorDavid Fort <rdp.effort@gmail.com>
Wed, 5 Jul 2017 20:00:33 +0000 (22:00 +0200)
committerGitHub <noreply@github.com>
Wed, 5 Jul 2017 20:00:33 +0000 (22:00 +0200)
Fix clipboard POSIX build because of basename conflict


Trivial merge