diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-01-12 19:32:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-12 19:32:13 +0100 |
| commit | df257f4fb6f0eadd204b91396854eee5d72ebd9b (patch) | |
| tree | 702495228bfb9912cca64878038ed23c498b19d0 /servers/text_server.cpp | |
| parent | 1218441b16bd0d5bdbcf93c11e77f1e999f0183c (diff) | |
| parent | 06613ed9a397262610bbab91e7649d6635f1118b (diff) | |
Merge pull request #45132 from akien-mga/ci-android-ndk-pin-r21
CI: Pin Android NDK r21 as we don't support r22 yet
Diffstat (limited to 'servers/text_server.cpp')
0 files changed, 0 insertions, 0 deletions