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