[Mono-list] [patch] integer formatting -- well, almost

[Miguel de Icaza]

> Saw something similar to this this morning. I ended up just getting a
> new copy of everything out of CVS, because something had subtly shifted,
> and nothing was working quite right.
> I know that's not what you were hoping for, but I hope it helps.

Sorry about this.  

Pathetic attempt at an excuse follows:

	While trying to get two new hosts for AnonCVS to the pool, I
	modified a script and put a parenthesis in the wrong location,
	which meant that instead of mirroring each individual directory,
	I was mirroring everything again.

	The script is fixed, and we got two more anoncvs servers now.

Apologies to everyone.
miguel