Skip to content

RIOT: update to 2020.07#72

Merged
cgundogan merged 2 commits intoRIOT-OS:masterfrom
miri64:release/enh/2020.07
Jul 27, 2020
Merged

RIOT: update to 2020.07#72
cgundogan merged 2 commits intoRIOT-OS:masterfrom
miri64:release/enh/2020.07

Commits

Commits on Jul 27, 2020