From bb9963dddce6e1287785ae4452f3883229ed7a6c Mon Sep 17 00:00:00 2001
From: Anthony Bretaudeau <anthony.bretaudeau@inria.fr>
Date: Tue, 10 Apr 2018 14:20:53 +0200
Subject: [PATCH] fix quote escaping

---
 tools/stats/filtering.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/stats/filtering.xml b/tools/stats/filtering.xml
index 143c9076aa4..e90333218d8 100644
--- a/tools/stats/filtering.xml
+++ b/tools/stats/filtering.xml
@@ -15,7 +15,7 @@
           <remove value="'"/>
         </valid>
         <mapping initial="none">
-          <add source="'" target="\'"/>
+          <add source="'" target="'&quot;'&quot;'"/>
         </mapping>
       </sanitizer>
     </param>