[Jredmine-commits] [jredmine] branch develop updated (3c77857 -> c02efd2)