Labels
Labels
36 labels
- Category: Something isn't working
- Category: PRs that clean code up or issues documenting cleanup.
- Category: New feature or request
- Category: musings about a better world
- Category: Further information is requested
- Category: A feature request, i.e: not implemented / a PR.
- Call for participation: Experience needed to fix: Easy / not much
- Call for participation: Experience needed to fix: Hard / a lot
- Call for participation: Help is requested to fix this issue.
- Call for participation: Experience needed to fix: Medium / intermediate
- Call for participation: This issue needs a bisection to find the exact PR causing the regression
- Call for participation: This issue needs a Minimal Complete and Verifiable Example
- Call for participation: writing correctness tests
- Problems and improvements related to program crashes/panics.
- Issues in need of decision.
- Problems and improvements related to performance.
- A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness
- Issues about issues themselves ("bugs about bugs")
- High priority
- Low priority
- Medium priority
- Marks issues that should be documented in the release notes of the next release.