| commit | fc4b66b332af1ffb7bfafa6d939fd7f59fbe1008 | [log] [tgz] |
|---|---|---|
| author | Luca Weiss <luca.weiss@fairphone.com> | Wed Jan 19 10:00:51 2022 +0100 |
| committer | Luca Weiss <luca.weiss@fairphone.com> | Wed Jan 19 10:00:58 2022 +0100 |
| tree | fa708ded7623547219f1121ad7306a6a34741b6d | |
| parent | c285b96574f866c8c6e55476689fb98c7c98716b [diff] |
Configure XTRA servers in gps.conf As of Android 10 this seems to be the place again for these values. Issue: FP2A10-184 Change-Id: I544479529d4f8a80cf737c35caacc612a3e68e1d