Prioritized Labels
Other Labels
Active
Status: Active. This issue is currently in work.
Jannes Bantje / differential-operators
Blocked
Status: Blocked. This issue is blocked by another issue.
Jannes Bantje / differential-operators
Bug
Type: Bug.
Jannes Bantje / differential-operators
Confirmed
Status: Confirmed. This issue is accepted as a work item.
Jannes Bantje / differential-operators
Critical
Priority: Critical
Jannes Bantje / differential-operators
Discussion
Type: Discussion.
Jannes Bantje / differential-operators
Documentation
Type: Documentation. This issue serves documentation purposes.
Jannes Bantje / differential-operators
Duplicate
Type: Duplicate. This issue is a duplicate of another issue.
Jannes Bantje / differential-operators
Feature
Type: Feature. This is a feature description or feature request.
Jannes Bantje / differential-operators
High
Priority: High
Jannes Bantje / differential-operators
Invalid
Type: Invalid
Jannes Bantje / differential-operators
Low
Priority: Low
Jannes Bantje / differential-operators
Normal
Priority: Normal
Jannes Bantje / differential-operators
Question
Type: Question
Jannes Bantje / differential-operators
Resolved
Status: Resolved. This issue is already done.
Jannes Bantje / differential-operators
Wontfix
Status: Wontfix. Will not be resolved.
Jannes Bantje / differential-operators
Prioritized label