]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge commit 'af1952'
authorJohannes Dahlström <johannesd@vaadin.com>
Mon, 11 Jun 2012 10:39:18 +0000 (13:39 +0300)
committerJohannes Dahlström <johannesd@vaadin.com>
Mon, 11 Jun 2012 10:39:18 +0000 (13:39 +0300)

Trivial merge