1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

dist/tools/bossa-1.8: add missing include

This commit is contained in:
Marian Buschsieweke 2022-09-08 20:41:07 +02:00
parent 1066195fe9
commit 1b717ac957
No known key found for this signature in database
GPG Key ID: CB8E3238CE715A94