Small nits and formatting#3907

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

kuarora:export-D63854967kuarora/faiss:export-D63854967Copy head branch name to clipboard