Add missing synchronizations to TimerSet
Merge pull request #179 from pitr-ch/pools

Add missing synchronizations to TimerSet