Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
bug
Teaching / hdnum
enhancement
Teaching / hdnum
tests
Issues or Pullrequests related to missing or added tests
Teaching / hdnum
tooling
Issues or Pullrequests related to tooling
Teaching / hdnum
Prioritized label