Labels

• Bug

  This issue should fix a bug.
• Discussion

  This issue is for discussing a future feature or the like.
• Feature

  This issue adds a new feature or updates an old feature (no bug).
• Maintenance