Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
Documentation
Dr. Stephan Rave / pymor-ss17
Type: Documentation. This issue serves documentation purposes.
Duplicate
Dr. Stephan Rave / pymor-ss17
Type: Duplicate. This issue is a duplicate of another issue.
Feature
Dr. Stephan Rave / pymor-ss17
Type: Feature. This is a feature description or feature request.
Prioritized