At Fri, 17 Aug 2012 17:09:55 +0900, Randy Bush wrote: > > > Why isn't the CVS repository simply removed? > > because not all of us are penguinistas or git users. Also, all pointers from the old world has to point to the new one. The fact that the address to this list is a well guarded secret is kind of telling. /andreas