Just pulled it and updated mine. Thanks!

If nothing else, this is an excellent test of Git's distributed-self-healing goodness.

I really hope he comes back though.