Teensyduino 1.45 has been released.

https://www.pjrc.com/teensy/td_download.html

The main new feature is support for Arduino 1.8.8.


The only change since 1.45-beta2 was commenting the 256 MHz overclock lines in boards.txt, as Frank B suggested.