jenkins-bot has submitted this change and it was merged. Change subject: Update ArticleFeedbackv5 to master ......................................................................
Update ArticleFeedbackv5 to master Change-Id: I9f0defe872a9b1671819bcbf41b5ff7fe935d33d --- M extensions/ArticleFeedbackv5 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Matthias Mullie: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ArticleFeedbackv5 b/extensions/ArticleFeedbackv5 index 0e49024..ed080fd 160000 --- a/extensions/ArticleFeedbackv5 +++ b/extensions/ArticleFeedbackv5 -Subproject commit 0e49024de4b168a860fd518c25efdf9eabbbd173 +Subproject commit ed080fd71740336d5fa2cccad060367343f07f6b -- To view, visit https://gerrit.wikimedia.org/r/59832 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9f0defe872a9b1671819bcbf41b5ff7fe935d33d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf1 Gerrit-Owner: Matthias Mullie <[email protected]> Gerrit-Reviewer: Matthias Mullie <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
