On Wed, 17 Jan 2018, Paolo Bonzini wrote: > On 17/01/2018 13:23, Thomas Gleixner wrote: > > No. Keep it and lets next time coordinate the relevant bits and pieces > > better. I reserve that bit 20 and let Linus sort out the trivial conflict > > when merging the stuff. > > Thank you. In the future we'll make sure to contact you before merging > this kind of change. I didnt pay much attention as I was burried in the melted spectrum .... -- To unsubscribe from this list: send the line "unsubscribe linux-next" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
