[Jrst-commits] branch develop updated (88d3e54 -> 1287978)