Merge pull request #302 from khaledhosny/master
authorSascha Brawer <sascha@brawer.ch>
Thu, 18 Aug 2016 11:59:38 +0000 (13:59 +0200)
committerGitHub <noreply@github.com>
Thu, 18 Aug 2016 11:59:38 +0000 (13:59 +0200)
[travis] Fix MacOS libtool issue


Trivial merge