mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 20:50:14 +01:00
No functional change, and pretty obvious. Signed-off-by: robert-hh <robert@hammelrath.com>
No functional change, and pretty obvious. Signed-off-by: robert-hh <robert@hammelrath.com>