Skip to content

No labels!

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

bug
bug
Something isn't working
duplicate
duplicate
This issue or pull request already exists
editing
editing
Improvements to the editing
enhancement
enhancement
New feature or request
question
question
Further information is requested
timing
timing
Improvements to the timing
translation
translation
Improvements to the translation
typesetting
typesetting
Improvements to the typesetting
wontfix
wontfix
This will not be worked on