From 9e10430d686f6463e90a24bebde0b0bec64c15f9 Mon Sep 17 00:00:00 2001 From: Denis Date: Tue, 24 Jul 2018 08:50:36 +0300 Subject: [PATCH] Add API diff via profile in the vaadin-parent project (#4430) * 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 fff10be9629..d893b53a41e 100644 --- a/pom.xml +++ b/pom.xml @@ -12,7 +12,7 @@ com.vaadin vaadin-parent - 2.0.0 + 2.0.1