Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • CI
    Jakub Both / dune-typetree
    related to Continuous Integration testing or building
  • backport
    Jakub Both / dune-typetree
  • bug
    Jakub Both / dune-typetree
  • buildsystem
    Jakub Both / dune-typetree
  • critical
    Jakub Both / dune-typetree
  • discussion
    Jakub Both / dune-typetree
  • doc
    Jakub Both / dune-typetree
  • duplicate
    Jakub Both / dune-typetree
  • faq
    Jakub Both / dune-typetree
  • feature
    Jakub Both / dune-typetree
  • linux
    Jakub Both / dune-typetree
  • notabug
    Jakub Both / dune-typetree
  • osx
    Jakub Both / dune-typetree
  • suggestion
    Jakub Both / dune-typetree
  • task
    Jakub Both / dune-typetree
  • upstream
    Jakub Both / dune-typetree
  • windows
    Jakub Both / dune-typetree
  • wontfix
    Jakub Both / dune-typetree