Merge pull request #1509 from filecoin-project/feat/update-ffi-paths

Update FFI
This commit is contained in:
Łukasz Magiera 2020-04-03 15:38:48 +02:00 committed by GitHub
commit 2ddbb19c3a

2
extern/filecoin-ffi vendored

@ -1 +1 @@
Subproject commit e899cc1dd0720e0a4d25b0e751b84e3733cbedc5 Subproject commit 0a1990fdd9a08b122cf97b373413b688d5b429cf