Labels

• dependencies

  Pull requests that update a dependency file
• help wanted

  it will not be fixed until someone else does it...
• p1: high priority

  SNAFU-type bugs
• p5: medium priority

  major bugs that are hard to trigger or minor bugs that are easy to trigger
• p9: low priority

  minor bugs or those that are hard to trigger
• r: not reproducable
• r:wontfix
• s:elaboration
• s:evaluation
• s:frontend
• s:lexer
• s:parser
• t:duplicate
• t:enhancement
• t:invalid
• t:question
• t:squid