Re: [riot-devel] Release 2020.07

[Emmanuel Baccelli]

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

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