Skip to content

No labels!

There aren’t any labels for this repository quite yet.

bug
bug
Something isn't working
clerical
clerical
Source code reformat; no user-visible effect
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
force after release
force after release
Scheduled for immediately after the next release i.e. high-risk commits allowed again
formal correctness
formal correctness
eliminate bugs at compile-time rather than runtime; no user-visible effect
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
post-commit review
post-commit review
This needs review for user-visible gameplay effects that warrant backing out.
process
process
This cannot be completed, by construction.
Przybylski's Star
Przybylski's Star
Unclear how to proofread this enough to avoid putting the trunk into Przybylski's Star status
question
question
Further information is requested
refactor
refactor
This unblocks other features; no user-visible effect
wontfix
wontfix
This will not be worked on