mirror of
https://github.com/micropython/micropython.git
synced 2026-05-02 05:40:12 +02:00
f9df08d8ee
Follow up to 5015779a6f.
Signed-off-by: Damien George <damien@micropython.org>