mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-18 12:52:44 +01:00
Wake-up Travis
This commit is contained in:
parent
505ced492a
commit
94a6a4cab0