From: Artur Signell <artur@vaadin.com>
Date: Tue, 28 Jan 2014 16:25:09 +0000 (+0200)
Subject: Disable Opera 12 permutation (#13259)
X-Git-Tag: 7.2.0.beta1~206
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=32ad5f75ddb37bab46503351df5bca63ff5b6868;p=vaadin-framework.git

Disable Opera 12 permutation (#13259)

Change-Id: I7fd06de98d962df83f31bfd50657559dee5c15bf
---

diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml
index a1dca07a1c..50600c5cbb 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,ie10,gecko1_8,safari,opera" />
+    <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari" />
 
 </module>