Closed Irvise closed 4 years ago
Hello, thanks for the remark and fix.
There is no specific rule regarding granularity of typo fixes. We generally prefer to group such fixes when possible, but it is better to provide them when you discover an issue than to wait too long, so even if you have only one typo to fix over 1 or 2 days, it is fine to send the fix then.
I'll merge your fix into the main repository tomorrow, and synchronize the mirror after that.
Self explanatory.
If larger PRs are prefered to small ones, comment so. I may find some more typos along the way and I do not want to pester the git history with small PRs if larger ones are desired.
Regards, Fer