Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
Patch Release
Orekit / Orekit
Issue that can be fixed for a patch release (i.e. no API change and not a new feature)
Parallelization
Orekit / Orekit
All issues related to parallel computing with Orekit, mostly using the PropagatorParallelizer.
Prioritized