[Jrst-commits] branch develop updated (71510f2 -> 0745c8b)