On Fri, Dec 04, 2015 at 12:32:12AM +0100, Rafael J. Wysocki wrote: > OK, so who's suppose to apply this?
It doesn't matter to me. I was planning on routing it through tip next week if you're fine with it or tip guys could ack it too and you could pick it up. Preference?