]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge branch 'master' into rpc
authorHenri Sara <hesara@vaadin.com>
Wed, 22 Feb 2012 14:40:42 +0000 (16:40 +0200)
committerHenri Sara <hesara@vaadin.com>
Wed, 22 Feb 2012 14:40:42 +0000 (16:40 +0200)

Trivial merge