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

Merge pull request #18861 from maribu/dist/tools/flatc

dist/tools/flatc: Fix compilation on musl
This commit is contained in:
Marian Buschsieweke 2022-11-10 08:46:59 +01:00 committed by GitHub
commit e909a41ce3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23