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