Website and RTEMS 5

[Gedare Bloom]

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.huber at 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.huber at embedded-brains.de
> PGP     : Public key available on request.
>
> Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
>