Skip to content
GitLab

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

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