]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge commit 'b7e184e30f8e5f1456344f3360c7e8e326c5ad2b' into master"
authorJuho Nurminen <juho@vaadin.com>
Thu, 6 Feb 2014 09:00:38 +0000 (09:00 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 6 Feb 2014 09:00:38 +0000 (09:00 +0000)

Trivial merge