Merge pull request #730 from filecoin-project/feat/ffi-ebb3e

Update filecoin-ffi
This commit is contained in:
Łukasz Magiera 2019-12-04 15:33:30 +01:00 committed by GitHub
commit 3227ebde21
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit 9faf00cb536fd86559440a09de9131520ae1ca0e
Subproject commit ebb3e13addf13059658ba92e84c9ce4300fbdf25