From 8669f6adf27244c9ac4906878fb77be3141f9dcf Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Sat, 15 Jun 2013 00:17:12 +0300
Subject: [PATCH] Actually compile an IE10 permutation (#12080)

Change-Id: I4da4ef6dbbdf9fccfd3e8bf8d302365a3398d9de
---
 client/src/com/vaadin/Vaadin.gwt.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml
index 776886bb1b..a1dca07a1c 100644
--- a/client/src/com/vaadin/Vaadin.gwt.xml
+++ b/client/src/com/vaadin/Vaadin.gwt.xml
@@ -61,6 +61,6 @@
     <add-linker name="xsiframe" />
 
     <!-- Remove IE6/IE7 permutation as they are not supported -->
-    <set-property name="user.agent" value="ie8,ie9,gecko1_8,safari,opera" />
+    <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari,opera" />
 
 </module>
-- 
2.39.5