Hi guys, I've pushed out timers related changes which have been officially pushed to vanilla -tip repo. Pavel, please take a look and confirm that all we need is in our repo now, then I'll update wiki. Cyrill