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