FFmpeg 0.7.2 for F15 (and rawhide)

[Marcos Felipe Rasia de Mello]

FFmpeg 0.7.2 was released on 2011-07-28. Among others bugfixes, the
update fixes one security flaw in the Matroska demuxer (MSVR-11-0080).

The 0.7 series uses the old ABI, so nothing should break.

Regards,

Marcos