From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
Date: Sat, 31 Aug 2019 13:15:26 +0000 (+0200)
Subject: Announce fix 411134  Allow the user to change a set of command line options during... 
X-Git-Tag: VALGRIND_3_16_0~219
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7ed5a7901808576be005be9865da375233c7df64;p=thirdparty%2Fvalgrind.git

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

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 07624d4be2..10d922cc25 100644
--- 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.