Removing obsolete CVS tags