Hi, On Mon, Apr 11, 2011 at 09:24:49PM +0200, Thomas Schwinge wrote:
> Folks, if anyone has been doing anything specific at the time the > crash happened, don't hesitate to speak up! We're intereted in > reproducing / fixing this. Well, I did a git pull, and when I tried another pull some hours later, it was unreachable... However, as the first pull succeeded, I doubt the crash had anything to do with it. -antrik-
