Labels

• Bug

  Bug

  Fixes to a broken user experience

• Development

  Development

  Improvement of the dev-tools for maintaining/building the project

• Documentation

  Documentation

  Improvements or additions to documentation

• Refactor

  Refactor

  Changes to the internals that don't affect the application

• UI

  UI

  Changes to the user interface