From dcede67b28d2747a5dbd3ff1050ca14314ff8ef3 Mon Sep 17 00:00:00 2001 From: Denis Anisimov Date: Mon, 23 Jul 2018 14:31:48 +0300 Subject: [PATCH] Add API diff via profile in the vaadin-parent project Fix for #4419 --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 5d282820025..ae5904241b9 100644 --- a/pom.xml +++ b/pom.xml @@ -13,7 +13,7 @@ com.vaadin vaadin-parent - 2.0.0 + 2.0.1