Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 9

  • WIP
    Max Ole Elliger / Coq Exercises
  • bug
    Max Ole Elliger / Coq Exercises
  • critical
    Max Ole Elliger / Coq Exercises
  • extension
    Max Ole Elliger / Coq Exercises
  • feature
    Max Ole Elliger / Coq Exercises
  • need help
    Max Ole Elliger / Coq Exercises
  • needs more info
    Max Ole Elliger / Coq Exercises
  • untested
    Max Ole Elliger / Coq Exercises
  • wontfix
    Max Ole Elliger / Coq Exercises