It seems that merge was successful.