Labels

• accepted - merged by hand

  accepted - merged by hand

• accepted - waiting on other PR

  accepted - waiting on other PR

• author gave up

  author gave up

• bug

  bug

  Something isn't working

• code typos - waiting on author

  code typos - waiting on author

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• missing file

  missing file

• missing proofs

  missing proofs

• ready to go - will merge with author present

  ready to go - will merge with author present

• Time Expired

  Time Expired

• WIP

  WIP