Fix broken build on ESP-IDF caused by #115108#116723

Merged

bors merged 1 commit intorust-lang:masterfrom ivmarkov:master

Oct 14, 2023

+24-4

Commits on Oct 14, 2023

Fix broken build on ESP-IDF caused by rust-lang#115108
ivmarkov
committed