Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1691 from pre-commit/slightly_simpler_enum
use slightly simpler enum syntax
- Loading branch information