Fix total_rows#3942

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

gtwang01:export-D64274531gtwang01/faiss:export-D64274531Copy head branch name to clipboard