Closed archonsd closed 4 years ago
Yes, whenever you already know precisely which code (or in this case text) lines to change in order to fix an issue, PR is the way to go. Even if your fix turns out to be not 100% right, PRs can still be modified and improved before merging.
Actually I'm fixing it myself now so I can include it in the quick-fix build together with the circuit dupe issue. No PR needed anymore!
Mod version: 0.2.3
FWIW, this sort of typo is so trivial an "issue", do you prefer someone just send you PRs with text updates, or is it something you want to manage?