diff -r cfaf1fa94154 -r 059fd2bbcfeb relpipe-data/download.xml
--- a/relpipe-data/download.xml	Sat Oct 26 20:57:42 2019 +0200
+++ b/relpipe-data/download.xml	Sat Oct 26 21:00:43 2019 +0200
@@ -57,12 +57,12 @@
 		<h2>Released versions</h2>
 			
 		<ul>
-			<li>2018-12-20: <m:a href="release-v0.8">v0.8</m:a></li>
-			<li>2019-01-18: <m:a href="release-v0.9">v0.9</m:a></li>
+			<li>2019-07-30: <m:a href="release-v0.13">v0.13</m:a></li>
+			<li>2019-05-28: <m:a href="release-v0.12">v0.12</m:a></li>
+			<li>2019-04-08: <m:a href="release-v0.11">v0.11</m:a></li>
 			<li>2019-02-20: <m:a href="release-v0.10">v0.10</m:a></li>
-			<li>2019-04-08: <m:a href="release-v0.11">v0.11</m:a></li>
-			<li>2019-05-28: <m:a href="release-v0.12">v0.12</m:a></li>
-			<li>2019-07-30: <m:a href="release-v0.13">v0.13</m:a></li>
+			<li>2019-01-18: <m:a href="release-v0.9">v0.9</m:a></li>
+			<li>2018-12-20: <m:a href="release-v0.8">v0.8</m:a></li>
 		</ul>
 		
 	</text>