jenkins-bot has submitted this change and it was merged. Change subject: Update ContentTranslation to 072537f ......................................................................
Update ContentTranslation to 072537f Change-Id: Iabbd5d482b4b2980a70d08c1e20bc929d3ea8c69 --- M extensions/ContentTranslation 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: KartikMistry: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ContentTranslation b/extensions/ContentTranslation index d6b8a52..072537f 160000 --- a/extensions/ContentTranslation +++ b/extensions/ContentTranslation -Subproject commit d6b8a52bc428f35f1797ae4382c5ac72fec9a908 +Subproject commit 072537f211e80654750eeb9d811bfc214804779a -- To view, visit https://gerrit.wikimedia.org/r/203076 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iabbd5d482b4b2980a70d08c1e20bc929d3ea8c69 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf24 Gerrit-Owner: KartikMistry <kartik.mis...@gmail.com> Gerrit-Reviewer: KartikMistry <kartik.mis...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits