Re: Fwd: Re: [patch] Add support for ARMv7M devices.

Pedro Alves
2012-03-15T18:58:36Z

On 03/15/2012 06:55 PM, Jonathan Larmour wrote:

> Committed with that change. Thanks for all the help. I kept the ChangeLog
> entry with @codesourcery.com for you as that's what you requested, hope
> that's ok.

Yes, that's okay. Thanks again.

--
Pedro Alves