Paolo Bonzini wrote:
Fixed by commit 4c4207c in the upstream git repository.

Sorry -- by commit f11ba2ae

Paolo



--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to