Re: [PATCH v7 00/22] tcg/ppc: Add vector opcodes

[Richard Henderson]

On 10/13/19 5:25 PM, David Gibson wrote:
> 
> Uh.. do you want me to merge this?  Probably best to CC me if you
> do.. otherwise I'm likely to miss it.

No thanks, it's now in a tcg pull request.


r~