Merge pull request #768 from filecoin-project/feat/ffi-6ac8400

Update filecoin-ffi
This commit is contained in:
Łukasz Magiera 2019-12-06 23:46:28 +01:00 committed by GitHub
commit 71ad238803
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit 6d9e80001bfa2d80eec4e157da46d783038d9b42
Subproject commit 6ac840062c094b35c87a87638cd7a262f43edd49