On 3 July 2013 22:29, Richard Henderson <r...@twiddle.net> wrote:
> Signed-off-by: Richard Henderson <r...@twiddle.net>

I think this is definitely a good idea; thanks!

Acked-by: Peter Maydell <peter.mayd...@linaro.org>

-- PMM

Reply via email to