]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Properly read heartbeat interval servlet parameter (#9987)"
authorJohannes Dahlström <johannesd@vaadin.com>
Thu, 18 Oct 2012 10:20:23 +0000 (10:20 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 18 Oct 2012 10:20:23 +0000 (10:20 +0000)

Trivial merge