Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
bug
Jerome Mariette / mixKernel
improvement
Jerome Mariette / mixKernel
needed-cran
Jerome Mariette / mixKernel
new features
Jerome Mariette / mixKernel
question
Jerome Mariette / mixKernel
Prioritized label