[Observe-commits] 05/17: Fix merge