jenkins-bot has submitted this change and it was merged. Change subject: JsonConfig,ZeroBanner,ZeroPortal to master ......................................................................
JsonConfig,ZeroBanner,ZeroPortal to master Change-Id: Idf5ce2605ca9b4741f4374af47a5f4e30b49024c --- M extensions/JsonConfig M extensions/ZeroPortal 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/JsonConfig b/extensions/JsonConfig index ed8c0eb..a3e9a2e 160000 --- a/extensions/JsonConfig +++ b/extensions/JsonConfig -Subproject commit ed8c0eb3c575132a5add6de8f2837603892a1050 +Subproject commit a3e9a2e53298efd4b6d47cabcd7b0d9a2584a616 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 9a556f2..f3910fe 160000 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 9a556f27d48daf995e3351f192d77e5eb29a83d7 +Subproject commit f3910fe123556a3d1ade0d7fbb1e05bc28820d70 -- To view, visit https://gerrit.wikimedia.org/r/161007 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idf5ce2605ca9b4741f4374af47a5f4e30b49024c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.24wmf20 Gerrit-Owner: Yurik <[email protected]> Gerrit-Reviewer: Yurik <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
