Commit 71596200443cdefb374750a1922dc9e1d0be7d53

Vicent Martí 2013-05-15T15:47:46

Merge pull request #1588 from arrbee/fixes-for-checkout-and-diff Bug fixes for checkout and diff