[Merged by Bors] - Simplify design for *Labels#4957
Closed
joseph-gio wants to merge 12 commits into
Closed
Commits
Commits on Jul 14, 2022
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed