Labels
All
Name
Prioritized labels
0
Drag to reorder prioritized labels and change their relative priority.
Other labels
17
backport
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
bug
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
buildsystem
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
critical
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
discussion
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
doc
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
duplicate
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
faq
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
feature
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
linux
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
notabug
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
osx
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
suggestion
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
task
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
upstream
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
windows
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests
wontfix
Lasse Hinrichsen-Bischoff / dune-functions
Issues
Merge requests