Merge pull request #5542 from leoetlino/lint-fix Tools/Lint: Allow diffing against arbitrary revisions