Upstream release 2019.1.2

intellij-idea-ultimate_2019.1.2/debian/changelog

@@ -1,3 +1,9 @@
+intellij-idea-ultimate (2019.1.2-1) disco; urgency=medium
+
+  * Upstream version 2019.1.2
+
+ -- Marcel Kapfer <opensource@mmk2410.org>  Wed, 15 May 2019 17:40:23 +0000
+
 intellij-idea-ultimate (2019.1.1-1) cosmic; urgency=medium
 
   * Upstream version 2019.1.1

intellij-idea-ultimate_2019.1.2/debian/preinst

@@ -5,6 +5,6 @@ set -e
 cd /opt/
 
 ## Download IntelliJ IDEA Community from the jetbrain servers
-wget -c https://download-cf.jetbrains.com/idea/ideaIU-2019.1.1.tar.gz
+wget -c https://download-cf.jetbrains.com/idea/ideaIU-2019.1.2.tar.gz
 
 ##DEBHELPER##

update-new-version2.sh

@@ -5,7 +5,7 @@
 # The script intends to decrease the effort of updating the package.
 
 PACKAGE="intellij-idea-ultimate"
-DISTRIBUTION="cosmic"
+DISTRIBUTION="disco"
 
 main() {
     old="$1"