mirror of
https://github.com/micropython/micropython.git
synced 2026-01-05 11:40: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>