Merge pull request #10444 from filecoin-project/chore/update-ffi

chore: update the FFI for release (#10435)
This commit is contained in:
Aayush Rajasekaran 2023-03-13 15:04:18 -04:00 committed by GitHub
commit 748e535cc6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit 88dc4c4ceb322337818b6508c8e9c23948f36cb1
Subproject commit 8baa0faaa0794c9d50808c72db154e307a77e94c