1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index e6b5b3206e..c74aa7234c 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