Fix deprecated use of 0/NULL#3817

dtolnay wants to merge 1 commit intomainfacebookresearch/faiss:mainfrom

export-D62083883facebookresearch/faiss:export-D62083883Copy head branch name to clipboard