Prioritized Labels
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