[MLton-devel] cvs tag deletions

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Fri, 20 Sep 2002 11:32:40 -0400 (EDT)

> > > 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.
MLton-devel mailing list