Closed renghardt closed 1 year ago
I still think these are all editorial. Fixes #94
All of these changes look good to me.
No pushback on the "editorial" part, so I'm merging this now.
I still think these are all editorial. Fixes #94