Skip to content
GitLab

Prioritized Labels

Other Labels

  • WIP
    Stefan Gehr / TV-A lecture notes
  • bug
    Stefan Gehr / TV-A lecture notes
  • critical
    Stefan Gehr / TV-A lecture notes
  • extension
    Stefan Gehr / TV-A lecture notes
  • feature
    Stefan Gehr / TV-A lecture notes
  • need help
    Stefan Gehr / TV-A lecture notes
  • needs more info
    Stefan Gehr / TV-A lecture notes
  • untested
    Stefan Gehr / TV-A lecture notes
  • wontfix
    Stefan Gehr / TV-A lecture notes