Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 9

  • 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