Labels

• bug

  Correction is needed
• do not merge

  This pull request should not be merged
• documentaion

  This issue is related to project documentation and might not include any code changes
• duplicate

  This is already included in another issue
• enhancement

  New, or improved functionality
• high priority

  The issue needs to be solved before other work
• in progress

  The issue is currently being worked on
• obsolete

  The issue is not valid anymore
• ongoing

  This issue needs continuous updates as the project goes on and might never be closed