diff options
| author | Michael Heimpold <mhei@heimpold.de> | 2024-05-05 16:17:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-05 16:17:16 +0200 |
| commit | 7410fe81889968b704b65115101ff1ee81b074cb (patch) | |
| tree | 3d43a7cb921b7eedab31f511cb9a6e01db3a37ea /lang/python/micropython-lib/patches/002-add-unix-ffi-os-path.patch | |
| parent | c1b3e0440f67bcec101a3f72525f9c90eb4e6497 (diff) | |
| parent | ecef65b3c464aa4b74da9249ca472cc2594b387d (diff) | |
Merge pull request #24081 from mhei/fix-buildbots-for-gensio
gensio: add patch with workaround for buildbots (refs #24047)
Diffstat (limited to 'lang/python/micropython-lib/patches/002-add-unix-ffi-os-path.patch')
0 files changed, 0 insertions, 0 deletions