[Jredmine-commits] branch develop updated (0992fa7 -> 653e87b)