Merge branch 'maint-0.4.7'

This commit is contained in:
David Goulet
2023-07-24 10:18:53 -04:00
4 changed files with 22 additions and 16 deletions
+4
View File
@@ -0,0 +1,4 @@
o Minor bugfixes (compilation):
- Fix all -Werror=enum-int-mismatch warnings. No behavior change. Fixes bug
40824; bugfix on 0.3.5.1-alpha.