Fix the build failure on TravisCI
oliverklee opened this issue · 1 comments
oliverklee commented
The recently merged PRs didn't have any merge conflicts, but together still have broken the build (due to a renamed variable). I'll take care of this.
mjaschen commented
No problem here, as long as it's not a tagged production version ;-)