[MLton-devel] cvs tag deletions

[Stephen Weeks]

> > I propose to delete the following tags.  Any objections?
> 
> I don't have any objections, but I don't see them hurting any.

It's only messiness that bothers me.

A scheme for tag names occurs to me that would make me feel somewhat
better in the future.  All tags should begin with the date on which
they were created, like 20020920-

How does that sound?


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel