> Paulo, Gleb, > > Can you please queue this as a fix for 3.14? > > It fixes an issue that has been introduced during the merge window, > and it would be good to have it plugged quickly. Ok, I plan to send a pull request on Friday (it should make it in -rc5). Paolo _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm