Fix index while building with derived files#506

Merged

keith merged 1 commit intomasterfrom ks/fix-index-while-building-with-derived-files

Oct 20, 2020

+37-4

Commits on Oct 20, 2020

Fix index while building with derived files
keith
committed