1 files changed, 3 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index c60f687e..26ed3b50 100644
--- a/NEWS
+++ b/NEWS
@@ -17,6 +17,9 @@ Changes from 5.0.0 to 5.0.1
 
 4. There are many small documentation improvements in the manual.
 
+5. The new argument "no-ext" to --lint disables ``XXX is a gawk extension''
+   lint warnings.
+
 N. A number of bugs, some of them quite significant, have been fixed.
     See the ChangeLog for details.