From 6c85f9d2fa6b8809da4c61202a2f21e45984797f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Tue, 9 Jun 2015 23:11:42 +0200
Subject: [PATCH] Bump index version to 13: <changelog> added

---
 fdroidserver/update.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fdroidserver/update.py b/fdroidserver/update.py
index c4ddd250..69fc0ec4 100644
--- a/fdroidserver/update.py
+++ b/fdroidserver/update.py
@@ -741,7 +741,7 @@ def make_index(apps, sortedids, apks, repodir, archive, categories):
         repoel.setAttribute("url", config['repo_url'])
         addElement('description', config['repo_description'], doc, repoel)
 
-    repoel.setAttribute("version", "12")
+    repoel.setAttribute("version", "13")
     repoel.setAttribute("timestamp", str(int(time.time())))
 
     nosigningkey = False
-- 
2.30.2