Anomie has submitted this change and it was merged. Change subject: Update Scribunto to master ......................................................................
Update Scribunto to master Bugfix for bug 46031 Change-Id: I56507d19c0a5db4e464072980ba114851bb28aa4 --- M extensions/Scribunto 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Anomie: Verified; Looks good to me, approved diff --git a/extensions/Scribunto b/extensions/Scribunto index b6ea64f..7617f25 160000 --- a/extensions/Scribunto +++ b/extensions/Scribunto -Subproject commit b6ea64f1325433c574b39f7f360f7f5f4ec0fdde +Subproject commit 7617f25a8bf38ee4c4a7db1eeb2e6ea452ed9124 -- To view, visit https://gerrit.wikimedia.org/r/53561 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I56507d19c0a5db4e464072980ba114851bb28aa4 Gerrit-PatchSet: 2 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
