diff options
author | Jack Lloyd <jack@randombit.net> | 2018-07-13 18:54:34 -0400 |
---|---|---|
committer | Jack Lloyd <jack@randombit.net> | 2018-07-13 18:57:58 -0400 |
commit | 228bb3ff6789681d14eb66efe000f3f9c93baa44 (patch) | |
tree | 50f262c6ca23f1e41c4f8a4de91d43e45d9d09fd /src/lib/ffi/info.txt | |
parent | 049d99b70aeedfc1d34b9317c6836d70aa2661c9 (diff) |
Bump the FFI version
New FFI features added in #1621 and #1625
Diffstat (limited to 'src/lib/ffi/info.txt')
-rw-r--r-- | src/lib/ffi/info.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/ffi/info.txt b/src/lib/ffi/info.txt index e064d5f24..508ad0091 100644 --- a/src/lib/ffi/info.txt +++ b/src/lib/ffi/info.txt @@ -1,5 +1,5 @@ <defines> -FFI -> 20170815 +FFI -> 20180713 </defines> <header:internal> |