Commit 5f4d2f9f6574fd41d9340ef80de0813bde80b76d

Ben Straub 2012-07-31T19:49:19

Checkout: fix problem with detached HEAD.