Issue #13093: Perform a real merge.