This pull request is an enhancement to pull request #220 and issue #219 only this time I modified source codes, and making sure it passes github actions.
Luckily all the typos are wrapped in comment blocks, so there's no need to worry about final produced dists.
@ondras It's up to you to merge this pull request or the previous one.😊
This pull request is an enhancement to pull request #220 and issue #219 only this time I modified source codes, and making sure it passes github actions. Luckily all the typos are wrapped in comment blocks, so there's no need to worry about final produced dists.
@ondras It's up to you to merge this pull request or the previous one.😊