Closed nikosavola closed 2 years ago
There are some merge conflicts you need to fix before we can merge, Niko
The Merge branch 'master' into fix-typos, doesn't look the best in history. I recommend squash-merging if you want.
Good call, Niko. I agree
This PR systematically fixes a lot of typos in code, comments, and documentation.