]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Reverted [e22dd3f3db39b8bd067600c414c6c889ab35cd3e]. No longer needed because...
authorArtur Signell <artur@vaadin.com>
Mon, 14 Jan 2013 22:50:01 +0000 (22:50 +0000)
committerVaadin Code Review <review@vaadin.com>
Mon, 14 Jan 2013 22:50:01 +0000 (22:50 +0000)

Trivial merge