Re: Vector shuffling

[Richard Henderson]

On 10/03/2011 05:14 AM, Artem Shinkarov wrote:
> Hi, can anyone commit it please?
> 
> Richard?
> Or may be Richard?

Committed.


r~