https://ezgif.com/gif-to-mp4 they have a gif to mp4 converter. Works better than other things I've tried. I needed video controls on my gifs, so I wanted it in .mp4 format. I didn't want too much lossy compression though
works pretty nicely with ShareX
[Edited by Kagerjay, April 19]
Simple and efficient. I easily allows to edit the created gif, to adjust the timing, rotate, optimize and much more.
Our users have written 2 comments and reviews about ezgif.com, and it has gotten 25 likes