On Wed, Nov 13, 2013 at 4:34 AM, Michael Niedermayer <michaelni at gmx.at> wrote: > Hi > > ive setup a mirror for ffmpeg-web on github: > https://github.com/FFmpeg/web > should simplify using it from github > It's not mirroring. [...] Timothy