It should filter through eventually with the “stable” URL… but meanwhile I needed to load this into my IDE board manager to get 2.4.1
https://github.com/esp8266/Arduino/releases/download/2.4.1/package_esp8266com_index.json
1 Like