On Wed, Jan 25, 2012 at 7:10 AM, Nick Schermer <nickschermer at gmail.com> wrote: > > Got a bad feeling about this. It looks like the machine crashed now. And now we are all very happy we have git :-) On a side-note... any idea what is wrong with tibeti? - Stephan