]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Added BrowserInfo.isIE10() and test for IE10 user agent (#9217)"
authorLeif Åstrand <leif@vaadin.com>
Tue, 23 Oct 2012 13:11:28 +0000 (13:11 +0000)
committerVaadin Code Review <review@vaadin.com>
Tue, 23 Oct 2012 13:11:28 +0000 (13:11 +0000)

Trivial merge