Commits

Marco Grawunder authored 59b9ad26473 Merge
Merge pull request #3 in OI/sla from development to master

* commit '92e4c4f8877f6b8b319492d4e793a23a94614972': Bugfix Added interfaces to use parts of the scheduler for priority scheduling

Everything looks good. We'll let you know here if there's anything you should know about.

Add shortcut