mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2026-01-01 01:41:18 +01:00
The tag isn't always properly fetched, leading to build issues. Let's just always use the commit hash, like in other pkgs.
The tag isn't always properly fetched, leading to build issues. Let's just always use the commit hash, like in other pkgs.