Commit d18713fb4ad1ba3d18a75272e1c1c3eb45715aba

Vicent Martí 2012-11-10T20:24:53

Merge pull request #1056 from nulltoken/duplicate-tree-entries Duplicate tree entries