[dummy] test merge with internal repo#4242

junjieqi wants to merge 1 commit intomainfacebookresearch/faiss:mainfrom

test_branchfacebookresearch/faiss:test_branchCopy head branch name to clipboard