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