]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge remote-tracking branch 'origin/master'
authorHenri Sara <hesara@vaadin.com>
Tue, 3 Jul 2012 07:37:03 +0000 (10:37 +0300)
committerHenri Sara <hesara@vaadin.com>
Tue, 3 Jul 2012 07:37:03 +0000 (10:37 +0300)

Trivial merge