Skip to content

Conversation

@rgrunber
Copy link
Member

@rgrunber rgrunber commented Aug 26, 2021

I've taken care of 2 rather large gifs and brough them down, but there's still a few gifs that are a few hundred KB that I though could be made shorter.

Signed-off-by: Roland Grunberg rgrunber@redhat.com

- Fixes redhat-developer#568
- Record gifs more quickly/directly

Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
@angelozerr angelozerr merged commit 12564c9 into redhat-developer:master Sep 1, 2021
@angelozerr
Copy link
Contributor

Thanks @rgrunber !

@rgrunber rgrunber deleted the fix-568 branch September 1, 2021 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Compress documentation image/gif space

2 participants