Closed zedtux closed 2 years ago
Closes #270.
Wrong reporting from Travis-CI to Github, build now passes.
Closes #270.