[Magic-dev] magic CVS repository proposition

[David Fang]

Hi folks,
	We've been a little behind making way for hosting magic 7.4 into
CVS at Cornell, apologies.  Before we host 7.4, we're proposing to
relocate the current 7.1 CVS tree into a subdirectory: magic/magic-7.1 to
make way for trees for other versions of 7.x, present and future.  This
move, however, may perturb any CVS checkouts you have of magic-7.1.
Would anyone object to this move, if we provided a patch-script to migrate
your checkouts (CVS control files) to point to the new repository
directory?  Speak now (in the next few days), or forever hold your PFETs!

David Fang
Computer Systems Laboratory
Electrical & Computer Engineering
Cornell University
http://www.csl.cornell.edu/~fang/
	-- (2400 baud? Netscape 3.0?? lynx??? No problem!)