almost every pragma is allowed in a 'push' pragma

1 files changed, 1 insertions, 0 deletions

diff --git a/web/news.txt b/web/news.txt
index 4150ddf8d..4ed549a62 100755
--- a/web/news.txt
+++ b/web/news.txt
@@ -31,6 +31,7 @@ Compiler Additions
   Use the new ``--project`` switch to enable this behaviour.
 - The compiler can now warn about shadowed local variables. However, this needs
   to be turned on explicitly via ``--warning[ShadowIdent]:on``.
+- The compiler now supports almost every pragma in a ``push`` pragma.
 
 
 Language Additions