Labels

• bug

  Something isn't working
• cosmetic

  Doesn't affect semantics
• division

  Part of the division migrator
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• infrastructure

  Refactors, etc
• invalid

  This doesn't seem right
• module system

  Part of the module system migrator
• needs info

  Awaiting a response with more info from the reporter
• question

  Further information is requested
• wontfix

  This will not be worked on