Bump index version to 13: <changelog> added

diff --git a/fdroidserver/update.py b/fdroidserver/update.py
index c4ddd250fb48c1417c975e499ee03ce987f221a7..69fc0ec4611b1d23c7c3af33944a754cf0baca89 100644 (file)
--- 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