Merge pull request #10266 from filecoin-project/steb/update-ffi

chore: ffi: update the FFI
This commit is contained in:
Jiaying Wang 2023-02-13 22:28:16 -05:00 committed by GitHub
commit b1e1d2d205
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit 4c503e5e2291b5d541f89d982d975e7994536a54
Subproject commit 7efaa7b47fe9d4bdb4ba0b2a0fafa4e573864ee5