|
From: Armin v. d. T. <ar...@va...> - 2017-03-02 20:54:17
|
I've pushed a new patch set to address this. On Thu, 2 Mar 2017 at 21:47 Liviu Ionescu <il...@li...> wrote: > > > On 2 Mar 2017, at 22:14, gerrit <ge...@op...> 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 > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/openocd-devel > |