Merge pull request #21256 from jefferyto/micropython-1.20.0