[Jtimer-commits] branch develop updated (0c0247b -> 8931f5b)