Announce fix 411134 Allow the user to change a set of command line options during...

Note that the fix for 411134 contains a bunch of white space only changes.
To see the diff without the white spaces, do:
  git diff -w 3a803036^..3a803036

diff --git a/NEWS b/NEWS
index 07624d4be211580f3229845dc5dd074a4e47b051..10d922cc25e62c0c367dd8775a1dc697162c2831 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -75,6 +75,7 @@ where XXXXXX is the bug number as listed below.
 409141  Valgrind hangs when SIGKILLed
 409367  exit_group() after signal to thread waiting in futex() causes hangs
 410599  Non-deterministic behaviour of pth_self_kill_15_other test
+411134  Allow the user to change a set of command line options during execution
 
 n-i-bz  Fix minor one time leaks in dhat.
 n-i-bz  Add --run-cxx-freeres=no in outer args to avoid inner crashes.