mirror of
https://github.com/esp8266/Arduino.git
synced 2025-09-05 08:04:28 +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