aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2016-08-07 23:56:32 +0200
committerGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2016-08-07 23:58:46 +0200
commit2f26c2fd368a10b89273712e3de64bbd83aedc59 (patch)
treeff806010c1460e29f9f21bed4df938b0e760bf8d /CHANGES
parent09018d8a3ca4a1b1b69d4baa911ac8e4f09b55e6 (diff)
Fix #5000: Document the native compiler soundness bug due to Unicode mangling.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES2
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index e6b5b3206..c74aa7234 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,6 +17,8 @@ Changes from V8.5pl1 to V8.5pl2
Critical bugfix
- Checksums of .vo files dependencies were not correctly checked.
+- Unicode-to-ASCII translation was not injective, leading in a soundness bug in
+ the native compiler.
Other bugfixes