[Coser-commits] branch develop updated (80b5bc5 -> 5bfd8ea)