[ppsspp/f32] (3 commits) ...Merge branch 'master' into f32
Summary of changes:
5d33c77... ppsspp-sdl now provides original previous ppsspp (*)
6c21533... Fix Provides ppsspp (*)
26ba9df... Merge branch 'master' into f32
(*) This commit already existed in another branch; no separate mail sent