On 05/16/2013 10:59 AM, Paolo Bonzini wrote: > Il 16/05/2013 07:52, TeLeMan ha scritto: >> The patch is working on 134a03e0b3d34b01b68107104c525c3bff1211d4 and >> is not working from cbff4b342b000a7642125dbdabf61113e05eee44. > > Thanks. > > Fabien or Stefan, can you take a look? >
Unfortunately I don't have time to investigate these days. -- Fabien Chouteau
