Merge pull request #10360 from filecoin-project/asr/update-ffi

chore: deps: update to FFI v1.20.0
This commit is contained in:
Aayush Rajasekaran 2023-02-28 13:22:40 -05:00 committed by GitHub
commit 2e53ef6348
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit 7efaa7b47fe9d4bdb4ba0b2a0fafa4e573864ee5
Subproject commit 1bc8bf8b482b2ef34cbce17bfc3a7ec68c047461