Activity

From 08/07/2017 to 09/05/2017

03:00 PM Enhancement #2736 (Resolved): Add importance field to resource allocation type: Applied in changeset commit:rst-proto|f03afb97e91f4060052a4544c834355dd579546a. Anonymous
02:40 PM Enhancement #2736 (Resolved): Add importance field to resource allocation type: In order to allow for more fine-grained arbitration, a new field "importance" is introduced.
As I could not find b... P. Holthaus

Also available in: Atom