Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
backport
staging / dune-functions
blocking
Issues and merge requests related to the blocking/nesting/hierarchical structure in the bases
staging / dune-functions
bug
staging / dune-functions
bugfix
staging / dune-functions
buildsystem
staging / dune-functions
cleanup
staging / dune-functions
critical
staging / dune-functions
discussion
staging / dune-functions
doc
staging / dune-functions
duplicate
staging / dune-functions
faq
staging / dune-functions
feature
staging / dune-functions
linux
staging / dune-functions
notabug
staging / dune-functions
osx
staging / dune-functions
suggestion
staging / dune-functions
task
staging / dune-functions
test
staging / dune-functions
upstream
staging / dune-functions
windows
staging / dune-functions
Prioritized label