Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Share tweaks #2357
This is two separate small tweaks to the
One or the other can be cherry-picked, or I can just merge both. If both, I'll probably squash it to one commit before merging because the changes are both minor and proximate.
@JayHoltslander this is the PR I promised, a couple days later than planned but not forgotten!