Optimize images and gifs (#2922)

Commit

3 years ago

Optimize images and gifs (#2922) * convert gifs to html video * optimize images * changelog