mirror of
				https://github.com/esp8266/Arduino.git
				synced 2025-10-30 04:26:50 +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