Markus Hennecke cc583d8759 Update lang/micropython to 1.23.0 vor 5 Monaten
..
micropython cc583d8759 Update lang/micropython to 1.23.0 vor 5 Monaten
Makefile c78924b661 Add port lang/micropython-1.20.0 vor 1 Jahr