Prioritized Labels
Other Labels
  • bug
    Ana de Almeida Borges / Worms in Coq
  • duplicate
    Ana de Almeida Borges / Worms in Coq
  • enhancement
    Ana de Almeida Borges / Worms in Coq
  • good first issue
    Ana de Almeida Borges / Worms in Coq
  • help wanted
    Ana de Almeida Borges / Worms in Coq
  • invalid
    Ana de Almeida Borges / Worms in Coq
  • question
    Ana de Almeida Borges / Worms in Coq
  • wontfix
    Ana de Almeida Borges / Worms in Coq