On 25/06/2018 18:23, Peter Maydell wrote: > I think it would help to repeat the rationale in a comment here, > to avoid the necessity to dig it out of the git log.
Good idea, I'll copy the commit message in there. Paolo > Otherwise > Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>
