Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
WIP
Lorenz / semprog
bug
Lorenz / semprog
critical
Lorenz / semprog
extension
Lorenz / semprog
feature
Lorenz / semprog
need help
Lorenz / semprog
needs more info
Lorenz / semprog
untested
Lorenz / semprog
wontfix
Lorenz / semprog
Prioritized label