jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326627 )
Change subject: Bumped JsonConfig ext ...................................................................... Bumped JsonConfig ext Change-Id: I8d3a18c3b336ec34c8ff9866c9497e81a95e6f40 --- M extensions/JsonConfig 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/JsonConfig b/extensions/JsonConfig index cc2816a..e3ef742 160000 --- a/extensions/JsonConfig +++ b/extensions/JsonConfig @@ -1 +1 @@ -Subproject commit cc2816a3e1db80ba74dee6b88bb9d2090c04ea27 +Subproject commit e3ef742aa22947df631a6d14fed5f530c079721f -- To view, visit https://gerrit.wikimedia.org/r/326627 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8d3a18c3b336ec34c8ff9866c9497e81a95e6f40 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.29.0-wmf.5 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
