Labels
Prioritized labels 0
Drag to reorder prioritized labels and change their relative priority.
Other labels 16
-
Confirmedag-ohlberger / MaRDI / containerStatus: Confirmed. This issue is accepted as a work item.
-
Documentationag-ohlberger / MaRDI / containerType: Documentation. This issue serves documentation purposes.
-
Duplicateag-ohlberger / MaRDI / containerType: Duplicate. This issue is a duplicate of another issue.
-
Featureag-ohlberger / MaRDI / containerType: Feature. This is a feature description or feature request.