Labels

• backported

  Release managers use this at their discretion
• bug
• dependencies

  Pull requests that update a dependency file
• duplicate
• enhancement
• invalid
• manual:bugfix

  This PR is a bug fix and should be noted in the manual
• manual:enhancement

  This is an enhancement/improvent that needs to be documented in the manual
• manual:irrelevant

  This PR is a minor fix and should not appear in the manual
• manual:new-feature

  This is a new feature and should be described in the manual
• question
• wontfix