Skip to content

No labels!

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

blocked:author
blocked:author
PR is waiting for author
blocked:reviewer
blocked:reviewer
PR is waiting for the reviewer
difficulty:nontrivial
difficulty:nontrivial
This PR is not trivial, and requires more detailed review
difficulty:trivial
difficulty:trivial
Can be merged if no review after 1 day
tested:no
tested:no
This PR was not tested
tested:yes
tested:yes
This PR was tested