Merge branch 'maint-0.3.5' into release-0.3.5

2024-12-06 19:41:15 +01:00 · 2019-01-02 16:09:14 -05:00
parent f4874765ea a4b86421d2
commit 9eb2da6b52
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.