Commit b7ba0cb08a894c8a738c8cb3b4039bc32c2c4661

Paolo Bonzini 2007-01-17T18:32:08

revert unwanted commit