v5.1.0 - Added DevNullLogger, Integrated VarCI
florianpreusner
released this
02 Nov 21:19
·
298 commits
to master
since this release
removed VarCI auto-merge; added logging info to README.md (#71)