Labels
Labels
13 labels
- Something that we could get to on a rainy day. Items may be closed in this state and re-opened later
- A confirmed bug, that we should fix
- Pull requests that update a dependency file
- This is a duplicate issue or root-cause of another issue
- An {bug|improvement} that has been {fixed|implemented}
- An issue found by the OSS Fuzz project
- Pull requests that update GitHub Actions code
- An improvement / new feature idea
- Pull requests that update Java code
- More information is needed from the reporter to progress the issue
- Unable to reproduce the reported issue
- This issue is not a bug; it is working as per spec
- Things to get to in the near term