[Jtimer-commits] branch develop updated (c512700 -> 0addfa2)