On 16/07/2015 12:04, Peter Maydell wrote: > Is this the same issue that Radim's patchset from a few days > back is addressing?
Yes. Are you going to apply it, or should I include it in the pull request I'll send out today? Paolo
On 16/07/2015 12:04, Peter Maydell wrote: > Is this the same issue that Radim's patchset from a few days > back is addressing?
Yes. Are you going to apply it, or should I include it in the pull request I'll send out today? Paolo