Merge pull request #9277 from filecoin-project/fix/ffi-version

ffi: Revert accidental filecoin-ffi downgrade from #9144
This commit is contained in:
Łukasz Magiera 2022-09-08 12:04:41 +02:00 committed by GitHub
commit 0594e33ed7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit 32afd6e1f1419b6bb7d0f4b3944287fde593ca64
Subproject commit f997fe6c77632c0bc58d0b1fdf53ee7a93f6027c