[Observe-commits] branch develop updated (efc4e22 -> 5488636)