I used site search https://www.google.com/search?q=4.12&btnG=Google+Search&sitesearch=rtems.org
I found one problem left: https://git.rtems.org/rtems-tools/tree/tools/4.12 I guess otherwise the rtems.org domain is cleaned up. Did we make an announcement yet on users@? On Tue, Feb 6, 2018 at 9:55 AM, Sebastian Huber <sebastian.hu...@embedded-brains.de> wrote: > On 05/02/18 19:30, Gedare Bloom wrote: >> >> Done. I missed this message before. > > > Thanks. > > Is there anything left to do with respect to the version number change or > can I close > > https://devel.rtems.org/ticket/3220 > > ? > > > -- > Sebastian Huber, embedded brains GmbH > > Address : Dornierstr. 4, D-82178 Puchheim, Germany > Phone : +49 89 189 47 41-16 > Fax : +49 89 189 47 41-09 > E-Mail : sebastian.hu...@embedded-brains.de > PGP : Public key available on request. > > Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG. > _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
