mirror of
https://github.com/micropython/micropython.git
synced 2026-01-25 05:10:18 +01:00
Fixes: https://github.com/micropython/micropython/issues/14340 Signed-off-by: J. Neuschäfer <j.ne@posteo.net>
Fixes: https://github.com/micropython/micropython/issues/14340 Signed-off-by: J. Neuschäfer <j.ne@posteo.net>