The source project of this merge request has been removed.
Collection of my changes around the scheduler
I have been making lots of small changes outside the scheduler files, which has involved a lot of merging on my side. So to start with, let me just get these tiny code changes merged. The scheduler file for now is empty.