Comment by eph_unit

So, what is an easy way to convert gifs to mp4? How did they do this. I run a small gif-sharing site and should probably do this.