Hey all,
On 10/27/2017 12:37 PM, Hauke Petersen wrote:
> we are happy to announce the 13th official release of RIOT:
Congratulations and many thanks to everyone involved!
Kaspar
___
devel mailing list
devel@riot-os.org
FYI: Oct 31st is a Holiday in most of Germany, that is why we decided to
move it by one week.
Am 27.10.2017 2:53 nachm. schrieb "Martine Lenders" :
> *This event has been changed.*
> more details »
>
Yay!! Congrats to all involved parties and thanks Hauke for managing this
release.
Cheers!
Emmanuel
On Oct 27, 2017 12:38 PM, "Hauke Petersen"
wrote:
> Dear RIOTers,
>
> we are happy to announce the 13th official release of RIOT:
>
> --- * RIOT
Yay, congratz everyone
Am 27.10.2017 12:38 nachm. schrieb "Hauke Petersen" <
hauke.peter...@fu-berlin.de>:
> Dear RIOTers,
>
> we are happy to announce the 13th official release of RIOT:
>
> --- * RIOT 2017.10 * ---
>
> This release provides fixes, code
Dear RIOTers,
we are happy to announce the 13th official release of RIOT:
--- * RIOT 2017.10 * ---
This release provides fixes, code cleanup and improved documentation,
as well as enhancements.
Most notable, this release is bringing RIOT a step closer