update distributions

weltling · weltling · commit 8a42daf3d378 · 2016-05-25T15:37:31.000+02:00
diff --git a/distributions b/distributions
@@ -1 +1 @@
-Subproject commit a69b21986678ae0ff336a73f973da69926df7b93
+Subproject commit a80d20b69397986040690c2a62dadb4d38de6548
