From cef3c7e5ec6156af9d4b9686047bc04c2c7b1c3f Mon Sep 17 00:00:00 2001
From: Denis Anisimov <denis@vaadin.com>
Date: Fri, 7 Oct 2016 16:38:51 +0300
Subject: Add push module to apiDiff profile to be able to resolve
 dependencies.

Change-Id: I36a44a162e631bf21daabb4d25fd855883eaa1d6
---
 pom.xml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pom.xml')

diff --git a/pom.xml b/pom.xml
index e87295383a..e896fb7f5b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -631,6 +631,7 @@
             </activation>
             <modules>
                 <module>server</module>
+                <module>push</module>
                 <module>client</module>
                 <module>compatibility-server</module>
                 <module>compatibility-client</module>
-- 
cgit v1.2.3