Commit 3b44ced096bbb4903dcf71c63675c99753d2343d

Vicent Martí 2012-11-12T14:12:41

Merge pull request #1061 from nulltoken/topic/explicit-head-errors repository: Refine repository_head() error report