Prioritized Labels

Drag to reorder prioritized labels and change their relative priority.

Other Labels

  • bug
    涛羊羊队 / la-seL4_tools
  • documentation
    涛羊羊队 / la-seL4_tools
  • duplicate
    涛羊羊队 / la-seL4_tools
  • enhancement
    涛羊羊队 / la-seL4_tools
  • good first issue
    涛羊羊队 / la-seL4_tools
  • help wanted
    涛羊羊队 / la-seL4_tools
  • invalid
    涛羊羊队 / la-seL4_tools
  • question
    涛羊羊队 / la-seL4_tools
  • wontfix
    涛羊羊队 / la-seL4_tools