]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge remote-tracking branch 'origin/master'
authorJohannes Dahlström <johannesd@vaadin.com>
Tue, 24 Jul 2012 12:07:03 +0000 (15:07 +0300)
committerJohannes Dahlström <johannesd@vaadin.com>
Tue, 24 Jul 2012 12:07:03 +0000 (15:07 +0300)

Trivial merge