Commit 29ab8774e53d1c053802b69f4e66283a23e7290a

Vicent Martí 2013-03-03T06:38:33

Merge pull request #1387 from carlosmn/kill-indexer indexer: kill git_indexer