Post #2111186

If, for some reason, the video doesn't play ("file is corrupt"), here's a reencoded version (the pix_fmt used by ffmpeg to encode the image sequence ended up different from YUV420P, so I reencoded the file to this pixel format; I only discovered this after trying to watch my own video through my phone).