Merge pull request #40 from zerothi/master
authorlangou <julien.langou@ucdenver.edu>
Fri, 2 Sep 2016 06:50:53 +0000 (08:50 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Sep 2016 06:50:53 +0000 (08:50 +0200)
External definitions not called


Trivial merge