]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge commit 'b5486'
authorJohannes Dahlström <johannesd@vaadin.com>
Mon, 11 Jun 2012 11:12:22 +0000 (14:12 +0300)
committerJohannes Dahlström <johannesd@vaadin.com>
Mon, 11 Jun 2012 11:12:22 +0000 (14:12 +0300)
Conflicts:
src/com/vaadin/terminal/gwt/client/ui/root/VRoot.java


Trivial merge