Hi Nicolas,
Nicolas Goaziou <n.goaz...@gmail.com> writes: > What about "#" for priorities? "#" is already taken, for comments. I think "," is good for priorities, and that preventing speed commands in the several blocks is safe and non-intrusive, that's what my patch did. Let me know if you (strongly) think otherwise! -- Bastien