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