Forwarded PRs: micropython #12

Merged
smithfarm merged 1 commits from PR_micropython#1 into leap-16.0 2025-08-27 17:01:42 +02:00