Skip to content

GitLab

Prioritized Labels
Other Labels
  • WIP
    Informatik 8 / TexCommon
  • bug
    Informatik 8 / TexCommon
  • critical
    Informatik 8 / TexCommon
  • extension
    Informatik 8 / TexCommon
  • feature
    Informatik 8 / TexCommon
  • need help
    Informatik 8 / TexCommon
  • needs more info
    Informatik 8 / TexCommon
  • untested
    Informatik 8 / TexCommon
  • wontfix
    Informatik 8 / TexCommon