]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Do not remove non-existing children when removing a tab (#10388)"
authorLeif Åstrand <leif@vaadin.com>
Tue, 27 Nov 2012 07:27:34 +0000 (07:27 +0000)
committerVaadin Code Review <review@vaadin.com>
Tue, 27 Nov 2012 07:27:34 +0000 (07:27 +0000)

Trivial merge