check for Inet before trying to fetch newest develop Arduino#193

Jason2866 merged 4 commits intodeveloppioarduino/platform-espressif32:developfrom

develop_no_inetpioarduino/platform-espressif32:develop_no_inetCopy head branch name to clipboard