Re: [riot-devel] [riot-maintainer] Release 2018.01

Congratulations Sebastian! You managed very well!! Congrats also to the whole RIOT team, it’s always a pleasure to see a new release out! Cheers, -- Francisco On 1 February 2018 at 09:37:06, Emmanuel Baccelli (emmanuel.bacce...@inria.fr) wrote: > Indeed, thanks to Sebastian for managing this

Re: [riot-devel] [riot-maintainer] Release 2018.01

Indeed, thanks to Sebastian for managing this release, and congrats to all involved parties! On Thu, Feb 1, 2018 at 9:18 AM, Emmanuel Baccelli < emmanuel.bacce...@gmail.com> wrote: > Indeed, thanks to Sebastian for managing this release, and congrats to all > involved parties! > > On Jan 31,

Re: [riot-devel] [riot-maintainer] Release 2018.01

Indeed, thanks to Sebastian for managing this release, and congrats to all involved parties! On Jan 31, 2018 23:55, "Cenk Gündoğan" wrote: > congratulations to everyone involved! > > ... and kudos to Sebastian for managing this release so elegantly (: > > Cheers, > Cenk