Prioritized Labels

Drag to reorder prioritized labels and change their relative priority.

Other Labels

  • Bug
    A non-critical error
    stgroup / ttc18
  • Critical
    A critical error indicating a wrong solution
    stgroup / ttc18
  • Review
    Not a real issue, but a review of solution(s)
    stgroup / ttc18