Labels

• bug

  bug

  Something isn't working

• build

  build

  Regarding the build process, makefile, etc.

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• question

  question

  Further information is requested

• tex

  tex

  Anything about TeX, the files themselves, etc.

• translation

  translation

  Discussion regarding the translation

• typo/error

  typo/error

  For a typo, math/translation error, etc.

• web

  web

  Anything related to the website