New version for VLC: VLC 0.7.2

Thanks to Jérôme to report that a new version 0.7.2 is now available for VLC on Videolan.org web site.
To download it:
vlc-0.7.2-test2.dmg