Release 2020.07.1

Help archive
1

Dear RIOTers,

we are happy to announce the first bug fixing release for the 2020.07 release of RIOT.

RIOT-2020.07.1 - Release Notes