Prioritized Labels

Other Labels

  • WIP
    Moritz Höhn / latexandmore
  • bug
    Moritz Höhn / latexandmore
  • critical
    Moritz Höhn / latexandmore
  • extension
    Moritz Höhn / latexandmore
  • feature
    Moritz Höhn / latexandmore
  • need help
    Moritz Höhn / latexandmore
  • needs more info
    Moritz Höhn / latexandmore
  • untested
    Moritz Höhn / latexandmore
  • wontfix
    Moritz Höhn / latexandmore