Minor maintenance release
·
208 commits
to master
since this release
- Updated dependencies
- Fixed coverage reporting for JDK > 9
- Switched CI from Travis CI to Circle CI