Merge branch 'stable'

dumbbell · dumbbell · commit a7bb375e8aec · 2017-11-08T15:48:37.000+01:00
diff --git a/.travis.yml.patch b/.travis.yml.patch
@@ -0,0 +1,11 @@
+--- .travis.yml.orig	2017-11-08 14:23:22.036394000 +0100
++++ .travis.yml	2017-11-08 15:26:19.264520000 +0100
+@@ -37,7 +37,7 @@
+ 
+ script:
+   - make xref
+-  - make tests
++  - make ct-fast
+ 
+ after_failure:
+   - |
