]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Updated ProgressIndicator to use state and rpc (#10008)"
authorJohn Ahlroos <john@vaadin.com>
Wed, 24 Oct 2012 12:50:19 +0000 (12:50 +0000)
committerVaadin Code Review <review@vaadin.com>
Wed, 24 Oct 2012 12:50:19 +0000 (12:50 +0000)

Trivial merge