139181-when-will-servers-merge