Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • WIP
    Michael Sammler / GQM-Coq
  • bug
    Michael Sammler / GQM-Coq
  • critical
    Michael Sammler / GQM-Coq
  • extension
    Michael Sammler / GQM-Coq
  • feature
    Michael Sammler / GQM-Coq
  • need help
    Michael Sammler / GQM-Coq
  • needs more info
    Michael Sammler / GQM-Coq
  • untested
    Michael Sammler / GQM-Coq
  • wontfix
    Michael Sammler / GQM-Coq