New RIOT Release (2020.01)

The 22nd RIOT-OS release 2020.01 was recently published!

More information about this release can be found at GitHub.