Skip to content

Labels

Labels

4 labels

  • bugfix

    bugfix
    This PR fixes a bug (see tracker for more info).

  • documentation

    documentation
    This PR adds documentation.

  • enhancement

    enhancement
    This PR enhances an existing feature.

  • feature

    feature
    This PR is a feature.