Labels

• Closed: Duplicate

  This issue or pull request already exists
• Closed: Invalid

  This doesn't seem right
• Closed: Won't Fix

  This will not be worked on
• Good First Issue

  Good for newcomers
• Help Wanted

  Extra attention is needed
• Type: Bug

  Something isn't working
• Type: Build Process Changes

  Changes to the build process of the devguide, dependency changes, etc.
• Type: Enhancement

  Enhancements and new additions to existing documents.
• Type: New Document

  A new document.