Labels

Pull request opened by the binding updater agent

An agent stopped and needs a person to decide

Hand to the binding updater: the generator needs fixing and the binding regenerating

The upstream change cannot be absorbed by regenerating

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

This doesn't seem right

Touches the generator: affects every symbol produced from here on

Further information is requested

This will not be worked on