Skip to content

GitLab

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