Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
bug
XavCC / xavcc.frama.io
duplicate
XavCC / xavcc.frama.io
enhancement
XavCC / xavcc.frama.io
good first issue
XavCC / xavcc.frama.io
help wanted
XavCC / xavcc.frama.io
invalid
XavCC / xavcc.frama.io
question
XavCC / xavcc.frama.io
wontfix
XavCC / xavcc.frama.io
Prioritized label