]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Made getServlet and getPortlet public (#10882)"
authorLeif Åstrand <leif@vaadin.com>
Thu, 7 Feb 2013 09:19:57 +0000 (09:19 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 7 Feb 2013 09:19:57 +0000 (09:19 +0000)

Trivial merge