mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-26 23:11:19 +01:00
This reverts commit ec97a94626baa8a8843a0aa00e17213fac08696f. (The commit seems to cause trouble. Furthermore, there's no reference to either the issue or how it was solved in the original commit message).