am avut si noi o situatie similara (a fost indexat domeniul dev pt ca a fost uitat un noindex), dar n-au fost probleme ulterioare (fara sa facem nimic special in privinta asta);
daca nu sunt linkuri catre vechiul continut si daca nu exista probleme la momentul de fata.. nu cred ca trebuie sa faci ceva in privinta asta, desi o varianta ar fi sa faci un cont de webmaster pt domeniul initial si sa dai remove domeniului;