Deletion of tags
Open
enhancement
good first issue
- Dominant language
- Java
- Stars
- 3
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Tags (guards, invariants, synchronizations, etc.) should be possible to highlight and delete by then pressing `delete` when highlighted
Contributor guide
Assessment
This issue has not been assessed yet.