jenkins-bot has submitted this change and it was merged. Change subject: Update Thanks extension ......................................................................
Update Thanks extension Change-Id: I32f76e7e29894ca3fb38c80c8500afc836dce3d0 --- M extensions/Thanks 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Kaldari: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/Thanks b/extensions/Thanks index 29bf277..62801e2 160000 --- a/extensions/Thanks +++ b/extensions/Thanks -Subproject commit 29bf2775d506ad21946ec4e56a76e2de66009934 +Subproject commit 62801e2b3ebf385f162901c3de5e79132bcc0849 -- To view, visit https://gerrit.wikimedia.org/r/185099 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I32f76e7e29894ca3fb38c80c8500afc836dce3d0 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf15 Gerrit-Owner: Kaldari <[email protected]> Gerrit-Reviewer: Kaldari <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
