Attempt to nightly fix#4204

gtwang01 wants to merge 1 commit intofacebookresearch:mainfacebookresearch/faiss:mainfrom

gtwang01:export-D69937976gtwang01/faiss:export-D69937976Copy head branch name to clipboard