[Jtimer-commits] 01/02: Merge branch 'release/1.5.3' into develop