No labels!
There aren’t any labels for this repository quite yet.
Improvements or additions to documentation
This issue or pull request already exists
Extra attention is needed
Further information is requested
PR that is suggested to be merged before next release
To be used for critical bug fixes.
A change that either significantly adds new functionality, or affects backward compatibility.
A change that is not major and not trivial.
A change that significantly would change scope/meaning/technology of project.
Spelling fixes, submodule update, trivial bug-fixes, and similar.
PR shall not be merged now, maybe later, maybe after rework
An issue/PR that not yet have been discussed/announced at a VSS meeting
No progress in the last 3 months, candidate for closing
Please review/discuss contents
Committer must refactor or address comments
Someone is actively working on changing/extending this PR
This will not be worked on
You can’t perform that action at this time.