[MLton-devel] cvs tag deletions

[Matthew Fluet]

> > > 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.

Fair enough.

> 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?

Very reasonable.  I think there is a way of renaming a tag, but I don't
see any of those slated for deletion being really worth keeping.




-------------------------------------------------------
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