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

Merge pull request #18343 from maribu/dist/tools/cosy

dist/tools/cosy: provide patch for PR #13
This commit is contained in:
benpicco 2022-07-21 17:14:37 +02:00 committed by GitHub
commit 289b80749d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

Binary file not shown.