Merge branch 'maint-0.3.3'

2024-12-06 19:41:15 +01:00 · 2018-04-05 08:36:13 -04:00
parent ad8347418f 2dee38fba0
commit 98157c72cd
2 changed files with 6 additions and 2 deletions
@@ -0,0 +1,4 @@
+  o Minor feature (continuous integration):
+    - Update the Travis CI configuration to use the stable Rust
+      channel, now that we have decided to require that.  Closes
+      ticket 25714.