Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Skip SELECTing revision that isn't used (#3207)
This is a minor cleanup but it simplifies #3201 to avoid reading this, and pulling out this change to the existing logic into its own PR simplifies review.
- Loading branch information