--- 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>