On 06/02/18 16:11, Gedare Bloom wrote:
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
This is not a problem. It is very important that this stuff remains to
be available. You need it to build the tools for intermediate RTEMS
versions, e.g. for git bisect.
I guess otherwise the rtems.org domain is cleaned up. Did we make an
announcement yet on users@?
I am not sure.
--
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
