jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/361598 )
Change subject: Fonts: update submodule to https://gerrit.wikimedia.org/r/#/c/361195/ ...................................................................... Fonts: update submodule to https://gerrit.wikimedia.org/r/#/c/361195/ Change-Id: Ic7237765d4e80d2ae9f5fef46dbd66887adc4dcb --- M fonts 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: MaxSem: Looks good to me, approved jenkins-bot: Verified diff --git a/fonts b/fonts index f6d4ad3..dc7d79d 160000 --- a/fonts +++ b/fonts @@ -1 +1 @@ -Subproject commit f6d4ad3e98cd7ca455845ffbab44b688116389bc +Subproject commit dc7d79dc9c5310e868b1f4e1c9c194bf629dbbad -- To view, visit https://gerrit.wikimedia.org/r/361598 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic7237765d4e80d2ae9f5fef46dbd66887adc4dcb Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
