At Thu, 10 Nov 2005 15:17:40 +0100, Alfred M Szmidt wrote: > > > Marcus, can you find a name for the tag which is less > > provocative? > > Well, in fact, we can remove it, because the source tree doesn't > change much these days, and thus using dates to get the right > version is feasible. So, I removed it now. > > No you didn't, I removed it.
You can see that I removed it by the fact that it isn't there anymore. If I hadn't decided to remove it, it would be back by now, even though you just removed it by yourself, and you would get a warning not to make changes to the CVS tree without prior consent. Thanks, Marcus _______________________________________________ Bug-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-hurd
