mirror of
https://github.com/micropython/micropython.git
synced 2026-05-03 06:10:14 +02:00
a968888f69
Fixes issue #12951. Signed-off-by: stijn <stijn@ignitron.net>