From 7ed5a7901808576be005be9865da375233c7df64 Mon Sep 17 00:00:00 2001 From: Philippe Waroquiers Date: Sat, 31 Aug 2019 15:15:26 +0200 Subject: [PATCH] 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 --- NEWS | 1 + 1 file changed, 1 insertion(+) 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. -- 2.47.2