Re: [core libraries] Improved TimerManager API