mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-25 20:02:37 +03:00
fixes https://github.com/esp8266/Arduino/issues/8555 related to https://github.com/dancol90/ESP8266Ping/pull/42
warning: this directory is re/over/written from lwip2 builder upon lwip2 rebuild