Labels

• duplicate

  duplicate

  This issue or pull request already exists

• formal-proposal

  formal-proposal

  A formal proposal that has been accepted for consideration by the core Inform team

• rejected-proposal

  rejected-proposal

  This will not be worked on