[Commits] 5715177: - Fix a merge error