Labels

• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or some other change
• enhancement-minor

  New feature or some other change, but for very minor changes
• important

  Important. It will be assigned to a milestone soon
• language

  Issues related to language
• maybe-later

  This will not be worked on in the near future
• question

  Further information is requested
• think-about

  Requires some thoughts
• ui-design

  Ideas for changing the UI design
• wait-for-merge

  Done and waiting for merge to the main branch