On Sat, Oct 11, 2008 at 12:30 PM, Paolo Bonzini <bonzini@gnu.org> wrote: > Doug Evans wrote: >> Hi. Ok to check in? > > Go ahead and commit it as obvious. Rather remove the definition as it is obviously unused? ;) Richard.