On Thursday 30 September 2004 11:00 pm, James Amundson wrote:
> On Thu, 2004-09-30 at 09:16, Raymond Toy wrote:
> > Is the repository open now?
>
> Your timing is excellent. I was just about to bring up this point
> on the list. We only have one major obstacle to opening up the
> repository to the developers: downcasing the source. Since
> downcasing doesn't mix well with other changes, we have to do it
> all at once. I can either do it now, then re-open the repository
> in a few days, or we can open up the repository now, then have a
> very brief close in the next few weeks.
Will this downcasing be just the files in src, or all the package
files as well? Also, will maxima files be downcased now as well?
Personally I'd like to get the downcasing over with, but that's just
me.
CY