Closed ghost closed 6 years ago
To avoid well-intentioned contributors inadvertently taking up maintainers' time unnecessarily with PR reviews like this one.
Sounds good! The issue on Travis is the wrong format type, I will fix that afer merging this PR.
To avoid well-intentioned contributors inadvertently taking up maintainers' time unnecessarily with PR reviews like this one.