diff options
Diffstat (limited to 'changes')
-rw-r--r-- | changes/bug11477 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/changes/bug11477 b/changes/bug11477 new file mode 100644 index 0000000000..44bdba971f --- /dev/null +++ b/changes/bug11477 @@ -0,0 +1,4 @@ + 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. |