From b529e10c4aec6eff6b7dd5d89513386d9789fb4d Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 16 Oct 2018 16:48:50 +0200
Subject: [PATCH] priority is NOT ignored, just additional_repos.xml is not
 allowed to set

---
 app/src/main/java/org/fdroid/fdroid/data/DBHelper.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/main/java/org/fdroid/fdroid/data/DBHelper.java b/app/src/main/java/org/fdroid/fdroid/data/DBHelper.java
index 952a6af98..3602e98e1 100644
--- a/app/src/main/java/org/fdroid/fdroid/data/DBHelper.java
+++ b/app/src/main/java/org/fdroid/fdroid/data/DBHelper.java
@@ -274,7 +274,7 @@ public class DBHelper extends SQLiteOpenHelper {
                     defaultRepos.get(i + 2), // description
                     defaultRepos.get(i + 3), // version
                     defaultRepos.get(i + 4), // enabled
-                    Integer.toString(i),     // priority; currently ignored
+                    defaultRepos.get(i + 5), // priority
                     defaultRepos.get(i + 6), // pushRequests
                     defaultRepos.get(i + 7)  // pubkey
             );