Ema has submitted this change and it was merged.
Change subject: Varnish 4 APT pinning: include varnish-doc
......................................................................
Varnish 4 APT pinning: include varnish-doc
Change-Id: I8674064fc0837b79bb99f09989aa7ee03e91d32d
---
M modules/varnish/manifests/apt_preferences.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ema: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/varnish/manifests/apt_preferences.pp
b/modules/varnish/manifests/apt_preferences.pp
index a3e51a7..96d4eea 100644
--- a/modules/varnish/manifests/apt_preferences.pp
+++ b/modules/varnish/manifests/apt_preferences.pp
@@ -15,7 +15,7 @@
} else {
# Prefer v3 varnish packages
apt::pin { 'varnish':
- package => 'varnish varnish-dbg libvarnishapi1 libvarnishapi-dev',
+ package => 'varnish varnish-dbg varnish-doc libvarnishapi1
libvarnishapi-dev',
pin => 'version 3.*',
priority => 1002,
}
--
To view, visit https://gerrit.wikimedia.org/r/279603
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8674064fc0837b79bb99f09989aa7ee03e91d32d
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ema <[email protected]>
Gerrit-Reviewer: BBlack <[email protected]>
Gerrit-Reviewer: Ema <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
