Restoring CVS log information accidentally removed in