]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "ProgressIndicator now stops polling when removed (#10130)"
authorJohn Ahlroos <john@vaadin.com>
Mon, 5 Nov 2012 14:42:09 +0000 (14:42 +0000)
committerVaadin Code Review <review@vaadin.com>
Mon, 5 Nov 2012 14:42:09 +0000 (14:42 +0000)

Trivial merge