Closed pchampin closed 1 year ago
Wow, thanks for all those improvements! All of those commits are integrated now. The conflicts have been resolved on the command line, so I will close this request, I'm not sure if GitHub will recognize that as successfully completed.
Each commit in this PR is an improvement suggestion. The are more or less opinionated, feel free to cherry pick those that you like and drop the others (they are relatively independent from each other)