]> source.dussan.org Git - vaadin-core.git/commitdiff
projects / vaadin-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b44c72a e648fd2)
Merge master into rename-package 128/head pr128/r2
authorManuel Carrasco Moñino <manolo@apache.org>
Mon, 4 Sep 2017 11:10:37 +0000 (13:10 +0200)
committerGitHub <noreply@github.com>
Mon, 4 Sep 2017 11:10:37 +0000 (13:10 +0200)

Trivial merge
Vaadin web components: https://github.com/vaadin/vaadin-core