Labels
Labels
area/bachelor
area/bibliography
area/build-release
area/continuous-integration
area/docs
area/master
area/phd
do-not-merge
good-first-issue
help-wanted
i18n
not-a-bug
os/Linux
os/macOS
os/Windows
platform/ShareLaTeX
platform/TeXLive
priority/high
priority/low
priority/medium
should-be-in-suggestion
status/blocked
status/change-requested
status/duplicated
status/irreproducible
status/need-more-information
status/not-related
status/pending-release
status/pending-review
status/ready-to-merge