Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • bug
    Wolfram Hoeps / tad-overlap-invproject
  • feature
    Wolfram Hoeps / tad-overlap-invproject