jenkins-bot has submitted this change and it was merged. Change subject: spinner.gif: Update with new version from Trevor ......................................................................
spinner.gif: Update with new version from Trevor Re-generated as part of wider work. Change-Id: Ic0f6d2825743ed7667704537508210e70ef545c7 --- M src/ui/styles/images/spinner.gif 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/src/ui/styles/images/spinner.gif b/src/ui/styles/images/spinner.gif index c478f8f..3404512 100644 --- a/src/ui/styles/images/spinner.gif +++ b/src/ui/styles/images/spinner.gif Binary files differ -- To view, visit https://gerrit.wikimedia.org/r/172217 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic0f6d2825743ed7667704537508210e70ef545c7 Gerrit-PatchSet: 1 Gerrit-Project: VisualEditor/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
