Commit 2376fa6c65a80e23d24393328212a80765d7ba94

Etienne Samson 2019-06-13T19:42:55

indexer: correct missing includes Docurium seems to choke on this header because it can't see both git_indexer_progress & git_indexer_progress_cb, let's add the include.