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