[Observe-commits] 12/13: fix merge