Pin lief to fix nightly#4211

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

mnorris11:export-D70102429mnorris11/faiss:export-D70102429Copy head branch name to clipboard