[MPlayer-dev-eng] [PATCH] Adding the Half Size to gmplayer menu

[Diego Biurrun]

Pierre Marc Dumuid writes:
> Here's the resend..
> 
> Diego Biurrun wrote:
> 
> >Pierre Marc Dumuid writes:
> >
> >>Here is a patch to add the missing "Half size" menu item.
> >
> >It's full of cosmetics, rejected.  Please resend without whitespace
> >changes.

Thanks, applied (with Pontscho's blessing).

Diego