[Jredmine-commits] branch master updated (b5bd4fc -> bd6390b)