Merge pull request #335 from luked99/warnings/fix-unused-definition
authorpopcornmix <popcornmix@gmail.com>
Thu, 29 Sep 2016 18:40:04 +0000 (19:40 +0100)
committerGitHub <noreply@github.com>
Thu, 29 Sep 2016 18:40:04 +0000 (19:40 +0100)
Fix definition of UNUSED(x)


Trivial merge