Update for 5.13.0.202109080827-r

Change-Id: I9a4b8173052bb30e3fe8e9f44406fed13e76f410
diff --git a/download/index.php b/download/index.php
index fff8bd4..1fde288 100644
--- a/download/index.php
+++ b/download/index.php
@@ -19,7 +19,7 @@
 include ($App->getProjectCommon());
 $Theme->setPageTitle("EGit - Download");
 
-$version = "5.12.0.202106070339-r";
+$version = "5.13.0.202109080827-r";
 $html = file_get_contents('_index.html');
 $html = preg_replace('/@VERSION@/', $version, $html);
 $Theme->setHtml($html);