Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
[Geometry checker] Don't recollect errors with empty recheck list
- Loading branch information
Showing
with
8 additions
and 2 deletions.