Merge branch 'maint-0.2.9' into maint-0.3.5

2024-12-06 19:41:15 +01:00 · 2019-10-25 10:55:51 +10:00
parent 1eb57b20b9 93be7275ec
commit e03db9934a
1 changed files with 5 additions and 0 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.