diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-08-16 08:29:54 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-08-16 08:30:09 +0200 |
| commit | d451d0bcf15d8025c3e963df033f918d646aff6a (patch) | |
| tree | fee3e1ef8cc765f8191322870dcdc7836847b1e0 /share | |
| parent | a46a671e253528e450bd57645c400bf761da07ab (diff) | |
| parent | 844b73e486ca146f3f9f3060e878814752c25fd5 (diff) | |
Merge #11056: disable jni in builds
844b73e disable jni in builds (Gregory Sanders)
Pull request description:
Suggested by @theuni
Unneeded and was causing travis issues downstream.
Tree-SHA512: 6e302d6fd73cf09c72269e7976cc40e64abdea780278c7333a5196f188f9dede12944f1e03605ec7d194b245213d0a2576bfbdbd0f6ba20154e0e9a68008851c
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions