Prioritized Labels
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