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