On 15 January 2014 15:10, Claudio Fontana <claudio.fontana@xxxxxxxxxx> wrote: > Hello Peter, > > a missing return here I think: Thanks. I'd already queued this set onto target-arm.next, so I've just fixed this nit there. -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm