jenkins-bot has submitted this change and it was merged. Change subject: Update extensions/SemanticMediaWiki ......................................................................
Update extensions/SemanticMediaWiki Change-Id: Idde2c43851d924b5761f69fccf002474df06562a --- M extensions/SemanticMediaWiki 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: 20after4: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/SemanticMediaWiki b/extensions/SemanticMediaWiki index 2f6752c..c8024b8 160000 --- a/extensions/SemanticMediaWiki +++ b/extensions/SemanticMediaWiki -Subproject commit 2f6752ce9c26d30ccf977abc1d872c79e94e30ec +Subproject commit c8024b8d4292581c93813a3b47d6cf6573cf1207 -- To view, visit https://gerrit.wikimedia.org/r/278079 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idde2c43851d924b5761f69fccf002474df06562a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.27.0-wmf.17 Gerrit-Owner: 20after4 <[email protected]> Gerrit-Reviewer: 20after4 <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
