I won't be able to update cvs until tomorrow.
So CVS remains frozen for the time being.