Labels

• bug

  Something isn't working
• build

  Changes the build process
• comfort/usability

  Usability improvement
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvement of developer and user documentation
• duplicate

  This issue or pull request already exists
• external

  external contribution
• feature

  New feature or request
• quality

  Code Quality improvement
• question

  Further information is requested
• release

  Preparation for release
• ui

  Affects the user interface
• wontfix

  This will not be worked on