29.07.2017 01:46, Philippe Mathieu-Daudé wrote: > Hi Michael, you already applied this series to -trivial, however I updated the > commits message, not requested but not a heavy task to do neither. Since you > didn't not sent PR yet, if you mind can you take those instead? Else it's not > a big deal. Thanks!
Applied to -trivial, this one, instead of the first version. I've also word-wrapped longish commit comments to fit in 80c. Thanks, /mjt