Clean up a few things after the 0.7 release#983
Merged
atomb merged 6 commits intomasterfrom at-post-release-cleanupDec 17, 2020
+78-3
Commits
Commits on Dec 17, 2020
- committedAaron Tomb
- committedAaron Tomb
- committedAaron Tomb
- committedAaron Tomb
- committedAaron Tomb
- committedAaron Tomb