Bring cvs-1.12.9 into the CVS repository