Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/327756 )
Change subject: Gerrit: Remove java 7 package
......................................................................
Gerrit: Remove java 7 package
We now use java 8 so no use for java 7 now.
Change-Id: I22871853828309572a3813f1304edf7d73212059
---
M modules/gerrit/manifests/jetty.pp
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, but someone else must approve
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/gerrit/manifests/jetty.pp
b/modules/gerrit/manifests/jetty.pp
index 9fe9f9f..0605bf0 100644
--- a/modules/gerrit/manifests/jetty.pp
+++ b/modules/gerrit/manifests/jetty.pp
@@ -42,7 +42,6 @@
]
require_package([
- 'openjdk-7-jdk',
'openjdk-8-jdk',
'gerrit',
'libmysql-java'
--
To view, visit https://gerrit.wikimedia.org/r/327756
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I22871853828309572a3813f1304edf7d73212059
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: 20after4 <mmod...@wikimedia.org>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
