Merge branch 'maint-0.4.2' into release-0.4.2

2024-12-06 19:41:15 +01:00 · 2019-10-25 10:56:17 +10:00
parent 4469128545 d7c40beeab
commit 8f8e1523e0
2 changed files with 15 additions and 2 deletions
@@ -0,0 +1,5 @@
+  o Minor features (continuous integration):
+    - Use Ubuntu Bionic images for our Travis CI builds, so we can get
+      a recent version of coccinelle. But leave chutney on Ubuntu Trusty,
+      until we can fix some Bionic permissions issues (see ticket 32240).
+      Related to ticket 31919.