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

Reply via email to