Merge branch 'maint-0.3.5' into release-0.3.5

This commit is contained in:
George Kadianakis
2019-08-27 11:49:36 +03:00
2 changed files with 4 additions and 1 deletions
+3
View File
@@ -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.