[ignore] dummy change#4233

mengdilin wants to merge 1 commit intomainfacebookresearch/faiss:mainfrom

test-CIfacebookresearch/faiss:test-CICopy head branch name to clipboard