]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Use json from vaadin-shared-deps 1.0.1 (#10118)"
authorJohannes Dahlström <johannesd@vaadin.com>
Thu, 22 Nov 2012 09:46:36 +0000 (09:46 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 22 Nov 2012 09:46:36 +0000 (09:46 +0000)

Trivial merge