Closed MrKevinWeiss closed 3 years ago
Since https://github.com/RIOT-OS/RIOT/pull/16104 was merged things are not happy, this makes things happy.
Since https://github.com/RIOT-OS/RIOT/pull/16104 was merged things are not happy, this makes things happy.