Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Two minor tweaks, but really I just want to try the "deploy" part of the CI setup by submitting another PR.
- Loading branch information