Labels
Labels
12 labels
- This issue or pull request is blocked by something outside the authors' control
- Something isn't working as expected
- Improvements or additions to documentation
- New feature or request
- Extra attention is needed
- The issues was opened or updated when @favonia was sick and needs further reviews
- Related to what the tool outputs to the end user
- This is low priority, usually because no one has requested the feature yet
- There is probably enough information, but a good design is missing; more use cases might help.
- More information is needed to decide the next step.
- Question about the usage of the tool, which may or may not lead to code/documentation changes
- Related to testing