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