I've pushed a new patch set to address this.
On Thu, 2 Mar 2017 at 21:47 Liviu Ionescu <[email protected]> wrote:
>
> > On 2 Mar 2017, at 22:14, gerrit <[email protected]> wrote:
> >
> > adds support to openocd
>
> Thank you Armin!
>
> > ... microOSplusIIIe_
>
> The correct spelling is 'micro_os_plus', so I would suggest:
>
> %s/microOSplusIIIe_/micro_os_plus_/g
>
> Regards,
>
> Liviu
>
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> _______________________________________________
> OpenOCD-devel mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/openocd-devel
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
OpenOCD-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/openocd-devel
