[Jredmine-commits] branch develop updated (1323c9d -> 8057853)