From 36fd94ad9a72db9d2368ea08d69d636c00eea1c4 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Thu, 30 May 2013 13:28:04 +0300
Subject: [PATCH] Remove IE6/IE7 permutation (#11954)

Change-Id: Id6eae2e71f322d9750c95b381eefd28e41624139
---
 client/src/com/vaadin/Vaadin.gwt.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml
index 31eb703e3c..776886bb1b 100644
--- a/client/src/com/vaadin/Vaadin.gwt.xml
+++ b/client/src/com/vaadin/Vaadin.gwt.xml
@@ -60,4 +60,7 @@
     <!-- Use the new cross site linker to get a nocache.js without document.write -->
     <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" />
+
 </module>
-- 
2.39.5