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~
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~