Release 2023.07

Dear RIOTers,

We are delighted to announce the 35th official release of RIOT!

---------------------[ RIOT 2023.07 ]---------------------

The 2023.07 release includes:

288 pull requests, composed of 661 commits, have been merged since the last release, and 35 issues have been solved. 26 people contributed with code in 96 days. 6844 files have been touched with 251875 (+) insertions and 224148 deletions (-).

You can download the RIOT release from Github by cloning the repository and checkout the release tag or by downloading the tarball, and look up the release notes for further details.

A big thanks to everyone who contributed!


Yay! Thanks a bunch to @benpicco for managing this release, and congrats to all involved!