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