Bartosz Dziewoński has submitted this change and it was merged. Change subject: Follow-up f9b4bbff: Fix typo'ed variable name ......................................................................
Follow-up f9b4bbff: Fix typo'ed variable name Change-Id: Ied52bbaa8d9b8e15470a99cd45ebef0c43c5dd69 --- M maintenance/resources/update-oojs-ui.sh 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Bartosz Dziewoński: Verified; Looks good to me, approved Jforrester: Looks good to me, approved diff --git a/maintenance/resources/update-oojs-ui.sh b/maintenance/resources/update-oojs-ui.sh index d20cbe8..dbce7a7 100755 --- a/maintenance/resources/update-oojs-ui.sh +++ b/maintenance/resources/update-oojs-ui.sh @@ -70,7 +70,7 @@ Update OOjs UI to v$OOJSUI_VERSION Release notes: - https://phabricator.wikimedia.org/diffusion/GOJU/browse/master/History.md;v$OOJS_VERSION + https://phabricator.wikimedia.org/diffusion/GOJU/browse/master/History.md;v$OOJSUI_VERSION END ) -- To view, visit https://gerrit.wikimedia.org/r/286769 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ied52bbaa8d9b8e15470a99cd45ebef0c43c5dd69 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Bartosz Dziewoński <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: Parent5446 <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
