Bill,

> My current proposal is that when Tim's merge of the old svn /trunk
> into svn /silver is accomplished, then svn /silver should become the
> new official "trunk" and the existing svn /trunk should be deleted.
> As I understand it, whether or not we eventually rename svn /silver
> to svn /trunk is probably only important to people who care more
> about standard svn terminology than either Tim Daly or me. ;)

I believe this process is complete.

Tim


_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to