tree fa708ded7623547219f1121ad7306a6a34741b6d
parent c285b96574f866c8c6e55476689fb98c7c98716b
author Luca Weiss <luca.weiss@fairphone.com> 1642582851 +0100
committer Luca Weiss <luca.weiss@fairphone.com> 1642582858 +0100

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