Yurik has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/327510 )
Change subject: Update graphoid to ad7d6ad ...................................................................... Update graphoid to ad7d6ad List of changes: ad7d6ad Fix graphoid .tab uselang=... value Change-Id: Ibb428bf595bf9f0ce8dc7c4c745028f6fc6e61a4 --- M src 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified Yurik: Looks good to me, approved diff --git a/src b/src index 2f72f6e..ad7d6ad 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit 2f72f6e54eb92edbb034164e9ff00a39bdc0c706 +Subproject commit ad7d6ad537dd5054389a50dd88bbd6c0c5623c30 -- To view, visit https://gerrit.wikimedia.org/r/327510 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibb428bf595bf9f0ce8dc7c4c745028f6fc6e61a4 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/graphoid/deploy Gerrit-Branch: master Gerrit-Owner: Yurik <yu...@wikimedia.org> Gerrit-Reviewer: Yurik <yu...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
