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