On 23 December 2016 at 12:12, Paolo Bonzini <pbonz...@redhat.com> wrote: > On 23/12/2016 12:15, Peter Maydell wrote: >> Applied, thanks. (Nice to see that git is smart enough to >> be able to merge this on top of the earlier target-* rename.) > > Actually I did the rebase myself.
Oops, so you did; I was confused, clearly. -- PMM
