[Observe-commits] 08/08: merge 7519 into develop