David Engster <deng@...> writes:
>> This is nice. It seems newtrunk is not available on this mirror.
> Yep. I could add it, but since it will get merged into trunk soon, I
> figured it would be waste of time.
That makes sense. Anyway git mirror is handy for me.