Server merge checklist

Earlier completed merges and the October 14–16 list, highest server numbers first.

servers on the new list
new-list servers confirmed done
new-list servers awaiting confirmation
servers in earlier completed merges

Move destinations

Each moved source server counts once. Unknown destinations are counted separately.

DoneServerStatusConfirmed moveList