Commit 409305081372c7e881dfa8f35a2696366abc712b

panda 2021-02-18T16:36:42

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