2
votes
2answers
126 views

Submit issue, pull request, or both for a very small fix?

I've made a 4-line bug fix to a minor issue in a library on github. The project is actively maintained with changes every few days. What is the ideal way to submit a fix that small? Is it to fork, ...