Demon has submitted this change and it was merged. Change subject: Updating Scribunto to master ......................................................................
Updating Scribunto to master Change-Id: I604a95b4fd061e50e92c11aaeb287a61753b3bbd --- M extensions/Scribunto 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Demon: Verified; Looks good to me, approved Objections: jenkins-bot: Fails diff --git a/extensions/Scribunto b/extensions/Scribunto index 7617f25..7fca5c1 160000 --- a/extensions/Scribunto +++ b/extensions/Scribunto -Subproject commit 7617f25a8bf38ee4c4a7db1eeb2e6ea452ed9124 +Subproject commit 7fca5c1dbe830747655e818b408f201c9ddd24d7 -- To view, visit https://gerrit.wikimedia.org/r/53691 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I604a95b4fd061e50e92c11aaeb287a61753b3bbd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.21wmf11 Gerrit-Owner: Demon <[email protected]> Gerrit-Reviewer: Demon <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
