Re: [riot-users] [riot-devel] Release 2020.07

[Emmanuel Baccelli]

Yay! Congrats to all involved and special thanks to Martine for managing
this release!

_______________________________________________
users mailing list
users@riot-os.org
https://lists.riot-os.org/mailman/listinfo/users