Labels

• bug

  Something isn't working
• Bugfix

  Fixes a bug
• Build

  Related to build scripts or compiling.
• Documentation

  Related to code docs or Nav2Go manual.
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• Jenkins CI

  Related to Jenkinsfile or other CI stuff
• new feature

  Feature request
• question

  Further information is requested
• UI

  Related to Qt GUI