On 09/15/2011 01:10 PM, Paolo Bonzini wrote:

Is this a diff -b?

Ah, I guess that's to avoid churn when the if is removed? But I don't see this if removed later in the series.

Paolo

Reply via email to