10時間ほど前、arduino IDEのバージョンが、2.3.2から2.3.3に変更。

https://www.arduino.cc/en/software