Skip to content
GitLab
Explore
Sign in
All
Name
Prioritized labels
0
Drag to reorder prioritized labels and change their relative priority.
Other labels
14
backport
ag-ohlberger / dune-community
Should be ported back to current release
Issues
Merge requests
bug
ag-ohlberger / dune-community
Type: Bug.
Issues
Merge requests
confirmed
ag-ohlberger / dune-community
Issues
Merge requests
discussion
ag-ohlberger / dune-community
Type: Discussion.
Issues
Merge requests
documentation
ag-ohlberger / dune-community
Type: Documentation. This issue serves documentation purposes.
Issues
Merge requests
feature request
ag-ohlberger / dune-community
Issues
Merge requests
infrastructure
ag-ohlberger / dune-community
Buildsystem, packages and CI
Issues
Merge requests
invalid
ag-ohlberger / dune-community
Issues
Merge requests
management
ag-ohlberger / dune-community
Project management
Issues
Merge requests
mr
change
ag-ohlberger / dune-community
Change in existing functionality
Issues
Merge requests
mr
deprecation
ag-ohlberger / dune-community
Deprecates existing functionality
Issues
Merge requests
mr
fix
ag-ohlberger / dune-community
Fixes a bug
Issues
Merge requests
mr
new-feature
ag-ohlberger / dune-community
Introduces a new feature
Issues
Merge requests
mr
removal
ag-ohlberger / dune-community
Removes a feature
Issues
Merge requests