Labels

• backported
• bug
• cmake
• cross-distro
• documentation
• 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
• regression
• wontfix