Skip to content
GitLab
Explore
Sign in
All
Name
Prioritized labels
0
Drag to reorder prioritized labels and change their relative priority.
Other labels
17
backport
Elias Pipping / dune-functions
Issues
Merge requests
bug
Elias Pipping / dune-functions
Issues
Merge requests
buildsystem
Elias Pipping / dune-functions
Issues
Merge requests
critical
Elias Pipping / dune-functions
Issues
Merge requests
discussion
Elias Pipping / dune-functions
Issues
Merge requests
doc
Elias Pipping / dune-functions
Issues
Merge requests
duplicate
Elias Pipping / dune-functions
Issues
Merge requests
faq
Elias Pipping / dune-functions
Issues
Merge requests
feature
Elias Pipping / dune-functions
Issues
Merge requests
linux
Elias Pipping / dune-functions
Issues
Merge requests
notabug
Elias Pipping / dune-functions
Issues
Merge requests
osx
Elias Pipping / dune-functions
Issues
Merge requests
suggestion
Elias Pipping / dune-functions
Issues
Merge requests
task
Elias Pipping / dune-functions
Issues
Merge requests
upstream
Elias Pipping / dune-functions
Issues
Merge requests
windows
Elias Pipping / dune-functions
Issues
Merge requests
wontfix
Elias Pipping / dune-functions
Issues
Merge requests