Merge branch 'master' of git://uglyman.kremlin.cc/git/capstone ccs
authorkremlin <ian@kremlin.cc>
Thu, 11 Feb 2016 06:44:39 +0000 (01:44 -0500)
committerkremlin <ian@kremlin.cc>
Thu, 11 Feb 2016 06:44:39 +0000 (01:44 -0500)

Trivial merge