diff options
| author | Jack Lloyd <[email protected]> | 2018-07-13 18:54:34 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 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> |