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
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