Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
trivial: chmod a+x contrib/lint.sh (#387)
This makes it a bit easier to use `git rebase --exec ./contrib/lint.sh`
- Loading branch information