Merge pull request #8440 from filecoin-project/chore/update-fvm

chore: ffi: update the FFI to update the FVM
This commit is contained in:
Łukasz Magiera 2022-04-05 21:36:42 -04:00 committed by GitHub
commit 8a16e1ca7d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit 5d00bb4365a97890bd038edfceecaa63ebbb3e2d Subproject commit 38f10cf6fa078b989fc774081cd65ba5c53636d8