[PATCH] ARM: Fix VEXT encoding

[Tim Northover]

On 31 May 2013, at 14:29, Amaury de la Vieuville <Amaury.delaVieuville at arm.com> wrote:
> I don't have commit access, could you please take care of this?

Of course. It should be committed as r183003.

Thanks for working on this.

Tim.