Raja R Harinath schrieb:
It's probably an issue with anonsvn.mono-project.com: maybe run out of space on /tmp. I remember someone else complaining about it on #mono this morning.
Did he get the same error message? Is his problem solved? Regards, Mark - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
