--
Cornelius Schumacher <csc...@suse.de>
that's certainly not intentional. Your report exposed a serious bug in
the scheduler as well as a whole in the test suite. I've fixed both
now. Please try the latest git version.
Thanks a lot for this bug report!
Chris