New RIOT Release (2019.07)

The 20th RIOT-OS release 2019.07 was recently published!

More information about this release can be found at GitHub.