[Jredmine-commits] branch develop updated (8ea5284 -> d0a097c)