From 2f26c2fd368a10b89273712e3de64bbd83aedc59 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 7 Aug 2016 23:56:32 +0200
Subject: Fix #5000: Document the native compiler soundness bug due to Unicode
 mangling.

---
 CHANGES | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
cgit v1.2.3