From a29ecdedd882b232320a76ec661ad42c2634ff2f Mon Sep 17 00:00:00 2001
From: Paolo Rotolo <paolorotolo@ubuntu.com>
Date: Tue, 16 Oct 2018 20:05:45 +0200
Subject: [PATCH] Update AppIntro to 5.0.1 (#1051)

---
 mobile/build.gradle | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mobile/build.gradle b/mobile/build.gradle
index 36c7c9ef..7ccbcf82 100644
--- a/mobile/build.gradle
+++ b/mobile/build.gradle
@@ -109,7 +109,10 @@ dependencies {
     implementation 'com.github.heremaps:oksse:0.9.0'
     implementation 'com.larswerkman:HoloColorPicker:1.5'
     implementation 'com.github.BigBadaboom:androidsvg:3511e136498da94018ef9fa438895984ea9b99db'
-    implementation 'com.github.apl-devs:appintro:v4.2.3'
+    implementation ('com.github.paolorotolo:appintro:v5.0.1') {
+        transitive false
+        exclude group: 'com.intellij', module: 'annotations'
+    }
     // Google Maps
     fullImplementation 'com.google.android.gms:play-services-maps:12.0.1'
     // GCM
-- 
GitLab