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? Ciao, Dscho - 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
