diff options
-rw-r--r-- | changes/ticket28924 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/changes/ticket28924 b/changes/ticket28924 new file mode 100644 index 0000000000..055a6cf285 --- /dev/null +++ b/changes/ticket28924 @@ -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. |