diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-12-17 14:22:15 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-12-17 14:46:04 +0100 |
| commit | ca19a3fe9ae82a0ac40b8f2ce47af952d0d9cdf5 (patch) | |
| tree | a028c10b85a7af5c568286d6244a80b766518871 /platform/x11/detect_prime.cpp | |
| parent | d8d96c9fa78395db8cf8eca65439ee1dfe18a424 (diff) | |
Fix crash on Android with no manifest permissions.
API allows for null array of permissions. It is now normalized with an
empty array.
Diffstat (limited to 'platform/x11/detect_prime.cpp')
0 files changed, 0 insertions, 0 deletions