Prioritized Labels
Other Labels
bug
COQBLIN Joachim / active-forks
documentation
COQBLIN Joachim / active-forks
duplicate
COQBLIN Joachim / active-forks
enhancement
COQBLIN Joachim / active-forks
good first issue
COQBLIN Joachim / active-forks
help wanted
COQBLIN Joachim / active-forks
invalid
COQBLIN Joachim / active-forks
question
COQBLIN Joachim / active-forks
wontfix
COQBLIN Joachim / active-forks
Prioritized label