> 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. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
