On 23 May 2013 20:22, Paolo Bonzini <pbonz...@redhat.com> wrote: > Il 23/05/2013 19:32, Peter Maydell ha scritto: >> On 21 May 2013 11:57, Paolo Bonzini <pbonz...@redhat.com> wrote: >>> > It is not used anywhere. >> So does this get deleted just because it's not used, or because >> it gets in the way of patches later in the series. > > No, it doesn't get in the way, I just preferred to kill it rather than > have an untested conversion.
Fair enough -- we can always put it back again if we need it. -- PMM
