Closed mbudde closed 1 week ago
This is a collection of several minor and uncontroversial (I think) improvements. I suggest each commit is reviewed individually. Feel free to pick and choose and let me know if any of the commits should be resubmitted in their own PR.
Thank you!
This is a collection of several minor and uncontroversial (I think) improvements. I suggest each commit is reviewed individually. Feel free to pick and choose and let me know if any of the commits should be resubmitted in their own PR.