Filippo Giunchedi has submitted this change and it was merged.
Change subject: releases: update public keyring
......................................................................
releases: update public keyring
pub 4096R/22250DD7 2016-07-27 [expires: 2019-06-12]
Key fingerprint = A6FD 76E2 A61C 5566 D196 D2C0 90E9 F83F 2225 0DD7
uid MediaWiki releases repository <[email protected]>
Bug: T141400
Change-Id: Icdeac3a523cdc81a4cd5da91594359259e9f3e56
---
M modules/releases/files/pubring.gpg
1 file changed, 0 insertions(+), 0 deletions(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
diff --git a/modules/releases/files/pubring.gpg
b/modules/releases/files/pubring.gpg
index 0106bfd..0b9c649 100644
--- a/modules/releases/files/pubring.gpg
+++ b/modules/releases/files/pubring.gpg
Binary files differ
--
To view, visit https://gerrit.wikimedia.org/r/301346
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icdeac3a523cdc81a4cd5da91594359259e9f3e56
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
