VLC for Android 1.7.2

Very small release fixing crashes :)
This tag has no release notes.