]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merged com.vaadin.service into com.vaadin.util (#10146)"
authorJohannes Dahlström <johannesd@vaadin.com>
Tue, 6 Nov 2012 16:26:44 +0000 (16:26 +0000)
committerVaadin Code Review <review@vaadin.com>
Tue, 6 Nov 2012 16:26:44 +0000 (16:26 +0000)

Trivial merge