diff options
Diffstat (limited to 'changes/bug11477')
-rw-r--r-- | changes/bug11477 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/changes/bug11477 b/changes/bug11477 deleted file mode 100644 index 44bdba971..000000000 --- a/changes/bug11477 +++ /dev/null @@ -1,4 +0,0 @@ - o Minor features: - - New --enable-expensive-hardening option to turn on security hardening - options that consume nontrivial amounts of CPU and memory. Right now, - this includes AddressSanitizer and UbSan. Closes ticket 11477. |