Update rstudio to 1.2.5019

2018.1/aims-desktop-2017/bin/aims-install-rstudio

@@ -6,7 +6,7 @@ for PKG in libgstreamer0.10-0 libgstreamer-plugins-base0.10-0 libssl1.0.0; do
 	dpkg -s $PKG >/dev/null 2>&1 && apt-get -y purge $PKG;
 done
 
-RSTUDIO=https://download1.rstudio.org/desktop/debian9/x86_64/rstudio-1.2.5001-amd64.deb
+RSTUDIO=https://download1.rstudio.org/desktop/debian9/x86_64/rstudio-1.2.5019-amd64.deb
 
 # New rstudio does not require jessie packages
 gpg --keyserver keys.gnupg.net --recv-keys 3F32EE77E331692F

2018.1/aims-desktop-2017/debian/changelog

+aims-desktop (3:2019.11.01) stretch; urgency=medium
+
+  * Update rstudio to 1.2.5019
+
+ -- Jan Groenewald <jan@aims.ac.za>  Wed, 06 Nov 2019 13:16:32 +0000
+
 aims-desktop (3:2019.07.20) stretch; urgency=medium
 
   * Update rstudio version 

2020.1/aims-desktop/aims-desktop-2020/bin/aims-install-rstudio

 #!/bin/bash
 
 #RSTUDIO=https://download1.rstudio.org/desktop/debian9/x86_64/rstudio-1.2.1335-amd64.deb
-RSTUDIO=https://download1.rstudio.org/desktop/bionic/amd64/rstudio-1.2.5001-amd64.deb
+RSTUDIO=https://download1.rstudio.org/desktop/bionic/amd64/rstudio-1.2.5019-amd64.deb
 
 gpg --keyserver keys.gnupg.net --recv-keys 3F32EE77E331692F
 apt-get -qq update

2020.1/aims-desktop/aims-desktop-2020/debian/changelog

+aims-desktop (1:2020.68) buster; urgency=medium
+
+  * Update to Rstudio 1.2.5019
+
+ -- Jan Groenewald <jan@aims.ac.za>  Wed, 06 Nov 2019 13:05:34 +0000
+
 aims-desktop (1:2020.67) buster; urgency=medium
 
   * Update rstudio version