Hi, As a temporary emergency measure, I had renamed the fixed tree glob2-new and the broken one glob2-old. However, this is not generics wrt potential futur problems (hopefully we won't have any but we must be able to react to some should they happen). So we could also name the new rep glob2a, so that we can increase the trailing letter should any problem arise.
What do you think? Have a nice day, Steph -- http://stephane.magnenat.net _______________________________________________ glob2-devel mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/glob2-devel
