Prioritized Labels
Other Labels
  • bug
    This issues is something that is broken or doesn't work as one may expect. This excludes new features.
    • Group label
  • documentation
    This is issue is (mostly) focussed on updating documentation, rather then changing the website.
    • Group label
  • high priority
    • Group label