Skip to content
Added --ignore-missing to git update-index command (should solve #4772)

[ci skip]