This repository has been archived by the owner on Nov 18, 2021. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This seems unnecessary as the definition status is passed down to the Closed field. It also seems incorrect. Removing it has no effect and seems to run slightly faster. Change-Id: I79d9d1fd962310f1c78af7cf58e9e51c685e1d8b Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9574 Reviewed-by: CUE cueckoo <[email protected]> Reviewed-by: Paul Jolly <[email protected]>
- Loading branch information