Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Generate it from the check_name. This prevents not creating multiple separate flags (for each state). This was already introduced in 0d4bc36 .
- Loading branch information