Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
Technical Debt
Technical Debt such as missing unit tests, reimplementation of standard library functionality, missing unit tests etc
Core Modules
backport
Core Modules / dune-localfunctions
bug
Core Modules / dune-localfunctions
buildsystem
Core Modules / dune-localfunctions
critical
Core Modules / dune-localfunctions
discussion
Core Modules / dune-localfunctions
doc
Core Modules / dune-localfunctions
duplicate
Core Modules / dune-localfunctions
faq
Core Modules / dune-localfunctions
feature
Core Modules / dune-localfunctions
linux
Core Modules / dune-localfunctions
notabug
Core Modules / dune-localfunctions
osx
Core Modules / dune-localfunctions
suggestion
Core Modules / dune-localfunctions
task
Core Modules / dune-localfunctions
upstream
Core Modules / dune-localfunctions
windows
Core Modules / dune-localfunctions
wontfix
Core Modules / dune-localfunctions
Prioritized label