Labels

• Bug

  Bug

  This issue should fix a bug.

• Discussion

  Discussion

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

• Feature

  Feature

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

• Maintenance

  Maintenance