Closed Dinoguy1000 closed 3 years ago
A more egregious case: diff
This looks like it's still an issue in the most recent version of the repository, and the pull request that fixed it seems to have been closed without merge.
Is this repo still being maintained? If so I can try recreating the fix and making a PR.
@Xkeeper0 This repo is still maintained but the person who made that PR deleted their GitHub account unfortunately.
diff