Prioritized Labels

Drag to reorder prioritized labels and change their relative priority.

Other Labels

  • would be nice to have - contributions are welcome
    Florian Gerber / optimParallel