Merge branch 'maint-0.4.4'

This commit is contained in:
David Goulet
2020-08-25 08:23:06 -04:00
2 changed files with 6 additions and 3 deletions
+3
View File
@@ -0,0 +1,3 @@
o Minor bugfixes (guard selection algorithm):
- Avoid needless guard-related warning when upgrading from 0.4.3 to 0.4.4.
Fixes bug 40105; bugfix on 0.4.4.1-alpha.