mirror of
https://github.com/micropython/micropython.git
synced 2026-01-09 13:40:31 +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>