Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In some parts of the GitHub UI, only 'evaluate' is showing, which is not helpful. A more meaningful name alleviates this problem.
- Loading branch information