jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326045 )
Change subject: Bump JsonConfig to wmf/1.29.0-wmf.5 tip ...................................................................... Bump JsonConfig to wmf/1.29.0-wmf.5 tip Change-Id: I4e357009763d1c0a9b4674441b9282e452325a99 --- 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 dd2be33..9feda92 160000 --- a/extensions/JsonConfig +++ b/extensions/JsonConfig @@ -1 +1 @@ -Subproject commit dd2be334b568a54cf8fc3165f5e82023bc5b4df7 +Subproject commit 9feda92cd3448cc60b344a5dd07f811840c52402 -- To view, visit https://gerrit.wikimedia.org/r/326045 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4e357009763d1c0a9b4674441b9282e452325a99 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.29.0-wmf.5 Gerrit-Owner: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: Yurik <yu...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
