Hi Nicolas,
Nicolas Goaziou <[email protected]> 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
