Closed chris48s closed 4 years ago
This PR brings a few things up to date. In some places, this PR is slightly more editorial than the last few. More detail in the commit messages.
This all makes sense to me. I'm going to go ahead and merge, and we can make further changes if anyone sees this and has ideas.
This PR brings a few things up to date. In some places, this PR is slightly more editorial than the last few. More detail in the commit messages.