Merge branch 'maint-0.3.5'

2024-12-06 19:41:15 +01:00 · 2019-01-02 16:09:20 -05:00
parent 968235ce6f a4b86421d2
commit eaaeaf7933
1 changed files with 4 additions and 0 deletions
@@ -0,0 +1,4 @@
+  o Minor features (compilation):
+    - When possible, place our warning flags in a separate file, to avoid
+      flooding verbose build logs to an unacceptable amount. Closes ticket
+      28924.