Labels

• duplicate

  This issue or pull request already exists
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• question

  Further information is requested
• resolution proposed

  A resolution to this has been proposed, ok to close?
• WGLC1

  Comment received in WGLC 1
• WGLC2

  issues arising from May/June 2024 WGLC
• wontfix

  This will not be worked on