Prepare repository for next .github release and SBT build improvements#3
Merged
juanpedromoreno merged 8 commits intomasterfrom Jun 8, 2020
Merged
Commits
Commits on Jun 8, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
