[Jtimer-commits] branch release/1.5.2 deleted (was bec20b2)