IDE 1.8.0 Released -- update: 1.8.10

Using Arduino IDE 1.x
19

I noticed that the in the file hardware/arduino/avr/platform.txt file, it says the IDE is version 1.6.16 instead of version 1.8.0
See line 9 of the file.

This is also true in the pre-release 1.8.1 images in the 5756 linked above.

--- bill