Merge branch 'maint-0.4.1'

2024-12-06 19:41:15 +01:00 · 2019-08-24 16:29:23 -04:00
parent d475d7c2fb 7c92f4faa2
commit f1707f7db3
2 changed files with 4 additions and 1 deletions
@@ -0,0 +1,3 @@
+  o Minor bugfixes (rust):
+    - Correctly exclude a redundant rust build job in Travis. Fixes bug 31463;
+      bugfix on 0.3.5.4-alpha.