Labels

• bug

  Something isn't working
• critical

  System inoperable, drop everything and fix this!!!
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• high priority

  Important and critical, fix/implement ASAP
• invalid

  This doesn't seem right
• investigating

  Still assessing priority, ignore for now
• low priority

  Not urgent or critical, implement whenever
• medium priority

  Important but not urgent, implement soon
• question

  Further information is requested
• v1.1

  Should be implemented in PROOF v1.1
• v1.2

  Should be implemented in PROOF v1.2
• v2.0

  Should be implemented in PROOF v2.0
• wontfix

  Outside scope and/or not possible, won't be worked on