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
