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-grid-howto
bug
Core Modules / dune-grid-howto
buildsystem
Core Modules / dune-grid-howto
critical
Core Modules / dune-grid-howto
discussion
Core Modules / dune-grid-howto
doc
Core Modules / dune-grid-howto
duplicate
Core Modules / dune-grid-howto
faq
Core Modules / dune-grid-howto
feature
Core Modules / dune-grid-howto
linux
Core Modules / dune-grid-howto
notabug
Core Modules / dune-grid-howto
osx
Core Modules / dune-grid-howto
suggestion
Core Modules / dune-grid-howto
task
Core Modules / dune-grid-howto
upstream
Core Modules / dune-grid-howto
windows
Core Modules / dune-grid-howto
wontfix
Core Modules / dune-grid-howto
Prioritized label