mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-22 21:23:07 +03:00
fixes https://github.com/esp8266/Arduino/issues/8555 related to https://github.com/dancol90/ESP8266Ping/pull/42
fixes https://github.com/esp8266/Arduino/issues/8555 related to https://github.com/dancol90/ESP8266Ping/pull/42