New RIOT Release (2020.07)

The 24rd RIOT-OS release 2020.07 was published yesterday!

More information about this release can be found at GitHub.