Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
Resolved
ag-ohlberger / dune-community / dune-gdt-super
Status: Resolved. This issue is already done.
Feature
ag-ohlberger / dune-community / dune-gdt-super
Type: Feature. This is a feature description or feature request.
Duplicate
ag-ohlberger / dune-community / dune-gdt-super
Type: Duplicate. This issue is a duplicate of another issue.
Documentation
ag-ohlberger / dune-community / dune-gdt-super
Type: Documentation. This issue serves documentation purposes.
documentation
ag-ohlberger / dune-community
Type: Documentation. This issue serves documentation purposes.
Prioritized