diff -r d7a7f20aae51 -r a94eb371f77e relpipe-data/download.xml
--- a/relpipe-data/download.xml Wed Dec 19 23:30:48 2018 +0100
+++ b/relpipe-data/download.xml Thu Dec 20 01:42:36 2018 +0100
@@ -41,9 +41,11 @@
- n.b. currently it might be a bit difficult to compile them, please stay tuned for v0.8, where the build process will be properly documented -
+