[clhp-cvs] CVS update: