Labels

Labels

• bug fix

  bug fix

  This pull request is a bug fix

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• good first issue

  good first issue

  Fairly self-contained issue that is ideal as a first contribution

• internal

  internal

  Affects the CI, tests or refactorings only, not relevant to the end-user

• large

  large

• python

  python

  Pull requests that update python code

• support

  support

  This issue raises a support question.

• topic: analysis

  topic: analysis

  Affects the Linter or VCG

• topic: API

  topic: API

  Affects the user-facing API

• topic: bazel

  topic: bazel

  affects the bazelizing of the repository

• topic: core

  topic: core

  Affects lexer/parser/infrastructure

• topic: LRM

  topic: LRM

  Affects the Language Reference Manual

• topic: packaging

  topic: packaging

  Affects PyPI packages

• trlc markdown

  trlc markdown

  Affects trlc markdown

• wontfix

  wontfix

  This will not be worked on