On Jan 22, 2008, at 2:21 AM, Johannes Schindelin wrote:
Hi, On Mon, 21 Jan 2008, Steffen Prohaska wrote:I haven't pushed the branches because repo.or.cz seems to have problems.Can you elaborate? What kind of problems?
I got DNS lookup failures and could not connect. Now it works and I pushed. Steffen - 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
