mirror of
https://github.com/micropython/micropython.git
synced 2026-01-06 20:20:14 +01:00
This was missed in commit 7cbf826a95.
Signed-off-by: Damien George <damien@micropython.org>
5.9 KiB
5.9 KiB