diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-11 17:23:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-11 17:23:36 +0200 |
| commit | 5c402e75bc1949d8f48d75b485811516ca25410f (patch) | |
| tree | c8bcfa257795d3508966d274a723193adc9b50e0 /servers | |
| parent | e4b1284210f132e93e69ce8d1575286f91460bd6 (diff) | |
| parent | 3598165c4de330abdcf93c383886e8c2d684d6cf (diff) | |
Merge pull request #22864 from milkowski/master
Fix build with Android NDK r18
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions