Skip to content

rp2: Make result of thread.get_ident() a non-zero integer.#13413

Merged
dpgeorge merged 1 commit intomicropython:masterfrom
projectgus:bugfix/rp2_thread_ident
Jan 16, 2024

Commits

Commits on Jan 16, 2024