Fix bloaty gif (#1647)

change to mp4
This commit is contained in:
Chris Gerth
2024-12-20 23:56:13 -06:00
committed by GitHub
parent 77e75b9975
commit bd1c5c0330
3 changed files with 5 additions and 3 deletions

Binary file not shown.