Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
state::blocked
Formal Land / Coq Tezos of OCaml 馃挮
This issue is dependent on the resolution of another issue or on a matter outside the control of the assignee.
Prioritized