esp32: switch to esp-idf's errno.h to fix socket error codes#6613

Closed

tve wants to merge 3 commits intomicropython:esp32-idf41-cmakefrom

tve:esp32-fix-errno-3

Commits on Nov 12, 2020

Commits on Dec 24, 2020

Gratuitous comment added to trigger PR tests...
tve
authored