Prepare repository for next .github release and SBT build improvements#501
Merged
alejandrohdezma merged 22 commits intomasterfrom Jun 2, 2020
Merged
Prepare repository for next .github release and SBT build improvements#501alejandrohdezma merged 22 commits intomasterfrom
.github release and SBT build improvements#501alejandrohdezma merged 22 commits intomasterfrom
Commits
Commits on Jun 1, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
