jenkins-bot has submitted this change and it was merged.

Change subject: Update Mathoids java version
......................................................................


Update Mathoids java version

* Update to Java8 Java versions are backwards compatible.

Change-Id: I6641ca3123e31b33c9d246b3bb6fde5894f4b912
---
M puppet/modules/mathoid/manifests/init.pp
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Dduvall: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/puppet/modules/mathoid/manifests/init.pp 
b/puppet/modules/mathoid/manifests/init.pp
index 7ce2ad1..45d2b3b 100644
--- a/puppet/modules/mathoid/manifests/init.pp
+++ b/puppet/modules/mathoid/manifests/init.pp
@@ -40,7 +40,7 @@
     # https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=742347
     # is fixed
 
-    require_package('openjdk-7-jre-headless')
+    require_package('openjdk-8-jre-headless')
 
     service::node { 'mathoid':
         port      => $port,

-- 
To view, visit https://gerrit.wikimedia.org/r/250702
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I6641ca3123e31b33c9d246b3bb6fde5894f4b912
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: Dduvall <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to