Skip to content
GitLab

Prioritized Labels

Other Labels

  • WIP
    Felix Kraus / latexandmore
  • bug
    Felix Kraus / latexandmore
  • critical
    Felix Kraus / latexandmore
  • extension
    Felix Kraus / latexandmore
  • feature
    Felix Kraus / latexandmore
  • need help
    Felix Kraus / latexandmore
  • needs more info
    Felix Kraus / latexandmore
  • untested
    Felix Kraus / latexandmore
  • wontfix
    Felix Kraus / latexandmore