[Observe-commits] 07/09: Fix merge