Alfie Richards
Alfie Richards
Proposal can get a +1 from me. Seems like a good idea I lean towards `priority\d+` personally (I think priority and a number clearly indicates 1 would be highest). But...
Added a proposal document for this: https://github.com/ARM-software/acle/issues/403
@chrisbazley The `priority=N;arch` proposal was brought up in the proposal doc for this: https://github.com/ARM-software/acle/issues/403 I think we'll likely close this out in favor of that as we seem to be...
@andrewcarlotti Are you okay to close this, as we opted for the other PR