Closed mvdbeek closed 8 years ago
@drosofff this is ready for merge, and if you do a git pull origin/master the build checks for the documentation should also stop failing.
Mmm apparently not...
It's not the same error anymore, the current one is a transient travis-ci problem. I have retriggered the build, let's see ...
Also