Commit 7f1dd4452e1001380ed53ba13cda6bc04a6e6ff0

panda 2021-02-18T16:36:42

index: Initialize case_sorted to GIT_VECTOR_INIT This is for extra safety within write_entries