Skip to content

No labels!

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

bug
bug
Something isn't working
CI
CI
Continuous Integration
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
error-message
error-message
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
javascript
javascript
Pull requests that update Javascript code
P: High
P: High
High priority item
P: Low
P: Low
Low priority item
prettyprinter
prettyprinter
question
question
Further information is requested
testsuite
testsuite
Concerning tests and the testsuite
unification
unification
wontfix
wontfix
This will not be worked on