Labels

Labels

• addition

  addition

  New library element.

• blocked

  blocked

  Blocked by other, dependent pull requests or issues.

• bug

  bug

  An existing library element contains issues.

• enhancement

  enhancement

  Improving an existing library element.

• fix

  fix

  Fix an error in an existing library element.

• needs corrections

  needs corrections

  Pull request needs corrections before next review.

• ready for review

  ready for review

  Waiting for review by maintainers.