Zac Medico wrote: > Vlastimil Babka wrote: > > The question is what to do now, rename it? Users will then see it again, > > and I don't know if there are even worse consequences. > > AFAIK, seeing it again is the worst that will happen. The cvs -> > rsync script will ensure that the incorrectly named new item is > deleted on the rsync side after it's removed from cvs.
As a lowly user, I would rather see it twice than to not see it at all. Although the argument could be made that java is not a critical package. Dale :-) :-)