Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
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
Prioritized label