]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge remote branch 'origin/master' into windowing
authorLeif Åstrand <leif@vaadin.com>
Fri, 11 Nov 2011 10:06:19 +0000 (12:06 +0200)
committerLeif Åstrand <leif@vaadin.com>
Fri, 11 Nov 2011 10:06:19 +0000 (12:06 +0200)

Trivial merge