From 685af77b59774d36315b864b63ad0b25302d3e4d Mon Sep 17 00:00:00 2001
From: Dave Borowitz <dborowitz@google.com>
Date: Mon, 2 Dec 2013 15:08:19 -0800
Subject: [PATCH] Recognize IE10 GWT permutation for Themer

Change-Id: Id8905f5b07f14c54555a3ebf79fc979c9c3f52be
---
 gerrit-gwtui/src/main/java/com/google/gerrit/UserAgent.gwt.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gerrit-gwtui/src/main/java/com/google/gerrit/UserAgent.gwt.xml b/gerrit-gwtui/src/main/java/com/google/gerrit/UserAgent.gwt.xml
index 9dde95c634..e6f3acb66e 100644
--- a/gerrit-gwtui/src/main/java/com/google/gerrit/UserAgent.gwt.xml
+++ b/gerrit-gwtui/src/main/java/com/google/gerrit/UserAgent.gwt.xml
@@ -35,6 +35,7 @@
       <when-property-is name="user.agent" value="ie6"/>
       <when-property-is name="user.agent" value="ie8"/>
       <when-property-is name="user.agent" value="ie9"/>
+      <when-property-is name="user.agent" value="ie10"/>
     </any>
   </replace-with>
 </module>