mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2026-01-01 01:41:18 +01:00
This triggers a known bug much more often than with gnu toolchains to the point that merging this PR without disabling the test would render the CI useless.